std::shared_mutex(3cxx) on Linux

The text 6f00c4be2fd9, as Debian 13 (Trixie) shipped it. The page shows this text now.

The standard shared mutex type.

std::shared_mutex(3cxx) on Linux now