std::priority_queue(3cxx) on Linux

The text 9483e85d671c, as Debian 11 (Bullseye) shipped it.

A standard container automatically sorting its contents.

std::priority_queue(3cxx) on Linux now