Re: [xmonad] [Patch] Remove an obsolete comment