Add pre-commit hook to facilitate automatic re-`html`ing of `index.md`

[Ben-Drucker]

More important than originally thought.

Instead, had GitHub Pages look in docs directory. Did implement pre-commit hooks to facilitate

• [X] Automatic formatting checking
• [X] Automatic checking that all symlinks were deleted.