et ok = true;
                if (inLab) {
                    installed = _JUPYTERLAB[library.lab] !== undefined
                } else {
                    installed = extensions[library.classic] !== undefined;
                    let enabled = extensions[library.classic] === true;
                }
                const div = document.createElement("div")
                if (installed) {
                    if (!silent) {
                        div.innerHTML = `Extension ${library.python} is installed 