The text dae3c3add38d, as Debian 7 (Wheezy) shipped it. The page shows this text now.
__gnu_pbds_sequence_tag(3cxx) on Linux now
