Since Sunday 2018-09-30, we moved to Github Since we used reStructuredText to manage our documentation, using Github we avoid to generate the output in HTML format