I have moved the hosting of the documentation to github.io. If you are not redirected automatically, follow the link to new location