HTML renderer (note the TODOs, regex and types)