93a2c97d
1b3d0351
* commit '93a2c97dc71b211de1e9e3a7a64aa301309f3308': Improve Html.toHtml() documentation