Documentation: talk a little bit about GIT_NO_REPLACE_OBJECTS