The page ?git-annex-reinject --known should not fail when the file extension is different does not exist.