cross reference html_vignette format from developer docs