std::priority_queue(3cxx) on Linux

The text 28ae435f3570, as Debian 10 (Buster) shipped it.

A standard container automatically sorting its contents.

std::priority_queue(3cxx) on Linux now