The docs used to be stored on the old opticks.org server. We should put that in github or perhaps host it on another documentation service.