ignore vignettes compiled locally [ci skip]