[concordDance]

And now this is commented it will be changed. :(

[bambax]

Maybe not. The incident described by the OP happened in Aug. 2023; it has worked since then, despite Reddit being very much aware of it. It's possible there is something in Reddit's architecture that would make it very costly to change...