We did! Basic HTML highlighting via the XML parser that's built into the scala standard lib I think. :)