jslaunch_showbuttons(1) on Linux

The text 034d1d1a9363, as Debian 3.0 (Woody) shipped it.

jslaunch_showbuttons(1) on Linux now