Close github mirror to avoid confusion
Docs should probably remain hosted on github pages or readthedocs. Finding out which way to go is part of this issue.
Docs should probably remain hosted on github pages or readthedocs. Finding out which way to go is part of this issue.