Documentation: add 'git replace' to main git manpage