The text b712e25aed6a, as Debian 4.0 (Etch) shipped it.
update your wmanager settings automatically
wmanagerrc-update(1) on Linux now