[Xmonad] darcs patch: fix WindowNavigation comment