Let's encourage people to use a completely different branch name, like "modify_docs".