Gnome2::Wnck::Pager(3pm) on Linux

The text feee129d28ab, as Debian 9 (Stretch) shipped it. The page shows this text now.

a pager widget, showing the content of workspaces