__gnu_cxx::new_allocator(3cxx) on Linux

The text a6d7d52dc445, as Debian 11 (Bullseye) shipped it.

An allocator that uses global new, as per [20.4].

__gnu_cxx::new_allocator(3cxx) on Linux now