Re: [Xmonad] possible bug in tabbed window extension