at the server ✅`
                        rootEl.appendChild(div)
                    }
                } else {
                    div.innerHTML = `Extension ${library.python} is <b>NOT</b> installed at the server ❌.`
                    rootEl.appendChild(div)
                    ok = false;
                }
                return ok;
            }

            async function check() {
                const url = `${getBaseUrl()}api/config/notebook`
                const response = (await fetch(url))