For anyone interested I've updated
post #37. There are now 2 patches available:
- `Custom Header menubar - reduce height by 33%`
- `Custom Header menubar - reduce height by 50%`
Whether the 50%-reduction will actually result in more lines per screen than the 33%-reduction will depend on your normal font-size/line-spacing choices.
I've also added sample screenshots to post #37 to consolidate all available info about these patches in a single post.