Info about problems with devtools::install_github() updated