Added HTML vignettes