HTMLTOJSONTEXT

Converts a HTML text to a JSON text which can be assigned to formatted text widgets.