Documentation/git-lost-found.txt: drop unnecessarily duplicated name.