Re: [Xmonad] darcs patch: Make extra WindowNavigation borders configurable