Firedragon Rounded Corners padding

Alright Floorp’s answer is inspired by Microsoft’s usual answer: It’s not a bug, it’s by design, to copy Edge’s behavior.

No plan to change but can be modified via userChrome.css.

So where does FireDragon stand on this? Maybe should vote.