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

The text 71fcd7bb8b8d, as Debian 12 (Bookworm) shipped it.

Default update policy.

__gnu_pbds::detail::default_update_policy(3cxx) on Linux now