That's interesting; I didn't even notice it. But the border doesn't scale with window size, and I tend to keep my windows large on an already large monitor, so

That's interesting; I didn't even notice it. But the border doesn't scale with window size, and I tend to keep my windows large on an already large monitor, so the relative effect was small and (subjectively) even pleasant. I can't get too mad at the design choice, but maybe it should scale in some way to window size.