let inserterlinks1="10.32614/CRAN.package.miniUI . https://github.com/rstudio/miniUI/issues . https://github.com/rstudio/miniUI . miniUI results .  miniUI.pdf  .  miniUI_0.1.2.tar.gz  . miniUI_0.1.2.zip . miniUI_0.1.2.zip . miniUI_0.1.2.zip . miniUI_0.1.2.tgz . miniUI_0.1.2.tgz . miniUI_0.1.2.tgz . miniUI_0.1.2.tgz .  miniUI archive  . https://CRAN.R-project.org/package=miniUI . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;