src/docs/developer/rendering_html.diviner