Re: [xmonad] Patch: improved support for replacing an existing window manager