git-remote: document the migration feature of the rename subcommand