__gnu_pbds::detail::ov_tree_map_cond_dtor(3cxx) on Linux

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

Conditional destructor.