Re: [Xmonad] darcs patch: fixes a possible memory leak