## Useless non-doc files:
docs/.gitignore
docs/Dockerfile
docs/Makefile
docs/touch-up.sh
