\underline missing in HTML converter

Hi all,

Type \underline press Enter and type aaaaa and it displays as underlined text.
It displays as <underline|aaaaa> in source view, as expected.
However, after converted to HTML, I only get

<p>
  aaaaa
</p>

so the formating is lost.
I wish it could be converted to

<p>
  <u>aaaaa</u>
</p>

or

<p style="text-decoration:underline">
  aaaaa
</p>

Best Regards

Thanks, you could file a bug report in savannah so that we can track this:

https://savannah.gnu.org/bugs/?group=texmacs&func=additem

It really seems a bug and I checked that we do not have a similar bug report already.