> Defaults cannot always please every unique user. That's an impossible goal.

You're just continuing in your quest to ignore the issue. Just set the goal at "most users", that's fine, you'll still need to defend this actual screen waste to make an argument, but you can't hide behind a generic "can't please everyone"

> hate

There is no hate, you've made it up to make your argument sound better.

> this minor (yes, I'll die on this hill)

No one is looking at, let alone fighing, you on this imaginary hill. The other commenter explicitly said it's not a big issue. I also agree it's minor. Stop bringing more straws for your scarecrow!

> took the time to even report this

To waste it on a repeat of this argument with ~0 chance of a win? Again, you've made up that hate, so there is no motivation in doing that, a more productive use of that time is to use a better terminal (or just configure it away), so that's usually what happens