made most of trellis turtle to HTML