Reddit is pretty bad without the RES extension, it's not surprising they want to change that.