Revert "Remove needless gh-pages material"

This reverts commit a0004eda28464b30acaf2f223f3f9ccb8b8eb603.