The XmHTML Motif widget for displaying HTML 3.2 documents.