Thanks for posting that. (Though I really only learned how super not OK with a tiling window manager that was.)