add Rd files for devtools::install_github to work