For folks whose $USER doesn't match their
Gerrit username, editing misc/review is not a
great solution, since the changes cannot be
committed (nf notwithstanding).
Instead, let ssh config files do their thing;
these are not part of the repo, and thus can
be set once and merrily forgotten.
Change-Id: If03fe05e5779553ed1f98310e8f22b0635ada7bb