Addition: I should mention that my solution does not convert the HTML tags
generated by HTMLarea into classic Notes Rich Text, but places the HTML as text
into a RichText field. I'm still in the process of finding a solution on how to
cconvert an HTML string into rendered Notes Rich Text (maybe a java
WebQuerySave agent will do).