A small, extensible window manager for X