[xmonad] Re: Issue 292 in xmonad: Border pixels not rendered on screens rotated with xrandr