There was no discussion in the sense, that someone asked or requested for those changes. Just the one, that got this user blocked and his account removed. ;-)

Probably also because of this[1] change and that[2] change, that got reverted. Thanks for catching this.

[1] https://www.openstreetmap.org/changeset/134113397
[2] https://www.openstreetmap.org/changeset/134114565