Remove docs from version control

[dankreiger]

Ideally, these docs should not be on main (or checked into git at all).

See if this can work with the current gitflow and github actions.