dear ggplot2, when are you going to make the next CRAN relsease? and dear devtools::install_github(), why did you stop working if I did not set the CRAN mirror in options()?