Reply to thread

I don't know if it was explicitly done intentionally. I would guess not, but it was probably done 5 years ago, so it's hard to say.

That said, for the reasons noted, I don't think it particularly needs to be changed. Indeed, there may even be reasons where people are targeting the top button only and a change here would break that.