add the hyperspec docs