Documentation: begin discussion of git-remote in user manual