nction getBaseUrl() {
                const labConfigData = document.getElementById("jupyter-config-data");
                if (labConfigData) {
                    /* lab and Voila */
                    return JSON.parse(labConfigData.textContent).baseUrl;
                }
                let base = document.body.dataset.baseUrl || document.baseURI;
                return base;
            }

            function checkLibrary(extensions, library) {
                let installed = false;
                l