Re: [Xmonad] darcs patch: fix WindowNavigation comment