compact vignettes

as usually requested by CRAN