misc-documentation files for vignette generation