Re: [xmonad] Patch for bug in X.A.GroupNavigation