Dereference @mentions, so that no github users are notified/referenced.

This could be further improved to add some mapping from common google code
@mentions to their github users.