imtx displays now jump to previous window and desktop configuration,
Cl printer now prints downcase by default
hacking around with js->ps