debian / compaton commit Retire git-check-files documentation too. (0dd385c)
   14