Doc update

Author: andreas-zeller

binder/postBuild

@@ -1,29 +1,36 @@
 #!/bin/bash
 
+# Enable incompatible extensions
+# echo postBuild: Enabling incompatible Jupyter extensions...
+# NBCONFIG_PATH=$HOME/.jupyter/nbconfig
+# mkdir -p $NBCONFIG_PATH
+# echo '{
+#     "nbext_hide_incompat": false
+# }' > $NBCONFIG_PATH/common.json
+
 # Install and enable Jupyter nbextensions
 # https://github.com/binder-examples/jupyter-extension
 # https://jupyter-contrib-nbextensions.readthedocs.io/en/latest/install.html
-echo postBuild: Installing Jupyter extensions...
-jupyter contrib nbextension install --user
-jupyter nbextension enable toc2/main --user
-jupyter nbextension enable exercise2/main --user
-jupyter nbextensions_configurator enable --user
-jupyter nbextension list
+# echo postBuild: Installing Jupyter extensions...
+# jupyter contrib nbextension install --user
+# jupyter nbextension enable toc2/main --user
+# jupyter nbextension enable exercise2/main --user
+# jupyter nbextensions_configurator enable --user
+# jupyter nbextension list
 
 # Install and enable Jupyter lab extensions
 echo postBuild: Installing Jupyter Lab extensions...
 pip install jupyterlab-markup  # Mermaid in Jupyter Lab
-jupyter labextension enable @agoose77/jupyterlab-markup
-jupyter labextension install jupyterlab-cell-flash
-jupyter labextension list
+pip install jupyterlab-cell-flash
+jupyter lab build
 
 # Install grcov
 echo postBuild: Installing grcov...
 cargo install grcov
 
-# Install mermaid
+# # Install mermaid
 echo postBuild: Installing mermaid...
-npm i -g mermaid
+npm i mermaid
 
 # run matplotlib once to generate the font cache
 echo postBuild: Generating matplotlib font cache...