Care to resubmit that patch at <a href="https:&#x2F;&#x2F;github.com&#x2F;xmonad&#x2F;xmonad-contrib" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;xmonad&#x2F;xmonad-contrib</a>? That way it can be part of the 0.12 release.