The text f60c3343d0a2, as Debian 9 (Stretch) shipped it. The page shows this text now.
Gtk2::SourceView2::LanguageManager(3pm) on Linux now