Re: [Xmonad] focus fixes for Circle and MagicFocus