__gnu_cxx::__detail::__mini_vector(3cxx) on Linux

The text 03b653853e49, as Debian 10 (Buster) shipped it.

__mini_vector<> is a stripped down version of the full-fledged std::vector<>.

__gnu_cxx::__detail::__mini_vector(3cxx) on Linux now