Retire git-check-files documentation too.