gr.HTML is just a way to render raw HTML and for users to do what they want with that output. It is basically an escape hatch but we won't be building more comprehensive APIs around it. If you want to ...