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