const cururl = window.location.href; if (cururl.indexOf('redir') >= 0) { let toccon = "

sensible-browser /blankx/{{index,contact,get-keys,template,404,403,toc}.html,redir/{blankx,dotfiles,gpgp,controller,command-runner},keybase.txt}

"; } else { let toccon = "

sensible-browser /blankx/{{index,contact,get-keys,template,404,403,toc}.html,redir/{blankx,dotfiles,gpgp,controller,command-runner},keybase.txt}

"; document.getElementById("tocid").innerHTML = toccon;