GitHub Pages will serve develop/index.html if we navigate to develop/.
index.html will still be the welcome page (for now), but if we ever decide
to change that in the future, we won't need to update this redirect page
The index.html will redirect people to the latest documentation
directory (develop), and the .nojekyll file will force github
to serve index.html files on a folder path (the user would be
served synapse/develop/index.html if they navigated to
synapse/develop).
Richard van der Hoff