One small fix suggestion regarding shrink or expanding the header. (...)
Nice one! The patch is
here.

I know you've already taken many ideas in, it may be helpful to post what is already on your list/backlog so people don't just re-post the same stuff.
Hmm... It's going to take a lot of effort to get my personal notes into publicly-digestible form.

Also, at least in this thread, I don't mind redundant posts (as long as they're organic, as in, a forum member that's just sharing a genuine niggle). If something comes up again and again, then that's useful information on its own. I guess, my philosophy is that the best way to attenuate redundant problem-reporting is to fix the problem being redundantly reported.
