gerrit-push-for: Minor documentation improvements