Re: [xmonad] XMonad.Hooks.ManageDocks: can't toggle dock gap since 0.13