Restore inst/doc resulting from devtools::build_vignettes()