A tiny modal window manager that doesn't suck