Yeah, the font is too tiny, and I want to make good use of the extra space.
Also, you can drag the edge of the window if you need to make it smaller. I did that at first so I could read the text until I found out how to change the resolution on startup.
I've also gone ahead and made a quick alternative patch that features the original resolution, if that's preferable.