...as well as the much nicer (and, it would seem, much bigger) JXDE window manager instead of IceWM...