vignette: html comment the %\Vignette lines