std::priority_queue(3cxx) on Linux

The text 2cb58f51cc91, as Debian 12 (Bookworm) shipped it.

A standard container automatically sorting its contents.

std::priority_queue(3cxx) on Linux now