Remove comment about devtools::install_github

Actually this won't help with devtools, but it will still help if you
are working with a git repo and you forget to init the submodules.