Update known-github-manuals.txt

Remove an unused repository with outdated content.
François is in the process of deleting this repository.