Desktop Manager: a graphical shell for X11
