A lightweight GUI application to convert HTML to formatted text