But auto-stretching windows to the screen's height has somehow turned into a frustrating game of mousing over a 0.001 pixel sweet spot at the top of the window. Maybe there's a hotkey for it though.