User:DR bot

This user is a bot operated by DR (talk). It is used to help make many small changes that would take a long time for a person to do alone. Administrators: if this bot isn't working correctly or is doing bad things, please stop it.