renderDocIndex : PkgDesc -> String
renderModuleDoc : Ref Ctxt Defs => ModuleIdent -> Maybe String -> Maybe (List (Doc IdrisDocAnn)) -> Maybe (Doc IdrisDocAnn) -> Core String