Reddit doubles down

Delaying its API changes would benefit everyone — but users have other options, too