git-update-index.txt: Document the --really-refresh option.