htmldoc added for PoorMansEditor