Documentation server supporting Dash docsets