cument.getElementById('current-version')
          .innerHTML = 'ver: ' + currentVersion;
        var verList = document.getElementById('padl-versions');

        function addVersions() {
           console.log(httpRequest)
          if (httpRequest.readyState === 4) {
            var versions = JSON.parse(httpRequest.responseText);
            versions.forEach((ver) => {
                elem = document.createElement('dd');
                if (ver == currentVersion) {
                    elem.innerHTML = '<