replace_extension(3alleg) on Linux

The text f6b05a701b6f, as Debian 6.0 (Squeeze), Debian 5.0 (Lenny) shipped it. The page shows this text now.

Replaces filename+extension with a new extension tail. Allegro game programming library.