The text 29877ebf863a, as Debian 12 (Bookworm) shipped it.
The standard shared timed mutex type.
std::shared_timed_mutex(3cxx) on Linux now
