std::allocator(3cxx) on Linux

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

The standard allocator, as per C++03 [20.4.1].

std::allocator(3cxx) on Linux now