The OS X window manager for humans