Render the table summary as `<caption>` in HTML5 (see #6295)