std::__allocated_ptr(3cxx) on Linux

The text b02fd36706ef, as Debian 11 (Bullseye) shipped it. The page shows this text now.

Non-standard RAII type for managing pointers obtained from allocators.