__gnu_cxx::detail::mini_vector(3) on Linux

The text 71f148f0c59a, as Arch Linux 2026-11-01 shipped it. The page shows this text now.

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