Reddit users have been protesting proposed changes to the site’s API.