Re: [xmonad] darcs patch: Better default for ppUrgent in xmobarPP