icewm-winoptions(5) on Linux

The text c836c217f8b4, as Debian 10 (Buster) shipped it.

icewm-winoptions(5) on Linux now