Redefining is different from clarifying.

Basically it seems a pretty trivial issue. I agree one day we'll probably wonder why people cared either way - why anybody wanted the redefinition in the first place, and why anybody worried too much about it.

But I think it will throw up a few unexpected complications nobody has thought too much about, like the oddity noted in that opening post.