push_config_state(3alleg4) on Linux

The text f34e9fe03f88, as Debian 13 (Trixie), Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it. The page shows this text now.

Pushes the current configuration state. Allegro game programming library.