Add Libraries.Text.PrettyPrint.Prettyprinter.Render.HTML to idris2api's modules list
Add Libraries.Text.PrettyPrint.Prettyprinter.Render.HTML to idris2api's modules list

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm