Documentation: revise top of git man page