[johnfn]

I mean whatever your concerns are, the admins/developers of Reddit are okay with this change.

[orf]

where ok, or at least one was in a comment posted 'ages ago'. That's very different.