An X11 window manager designed for maximum efficiency