icewm-preferences(5) on Linux

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

icewm-preferences(5) on Linux now