Re: [xmonad] [patch] narrower BorderResize rectangles placed within border edges