Updates to CONTRIBUTING.md. Emphasises that users should wrap words with `@` signs in backticks to avoid sending notifications to any GitHub user that might have that username.