__gnu_pbds::ov_tree_tag(3cxx) on Linux

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

Ordered-vector tree.

__gnu_pbds::ov_tree_tag(3cxx) on Linux now