republish documentation on github pages, finally!