Oppia Documentation repository has moved

Hi all,

Previously we had all the Oppia documentation source files (for both app and server), stored within the Oppia server repository, but now we have moved the documentation to it’s own repository, at: https://github.com/DigitalCampus/oppia-docs

Hopefully this will make it easier for people to contribute to the docs without needing to have the whole Oppia server code, plus it keeps the server git history cleaner as it won’t have lots of minor changes just due to documentation updates.

The link to the docs on ReadTheDocs remains exactly as it was before: https://oppiamobile.readthedocs.io

Cheers,
Alex