Value->toHTML(): Just use a simple PHP output buffer instead of the DOM API to generate HTML.