Documentation/git-clean.txt: don't mention deletion of .git/modules/*