Added \htmlSegment; added a function to handle verbatims