diff --git a/docs/dist/debuggingbook-1.2.3.tar.gz b/docs/dist/debuggingbook-1.2.3.tar.gz
index a9011baa..33946964 100644
Binary files a/docs/dist/debuggingbook-1.2.3.tar.gz and b/docs/dist/debuggingbook-1.2.3.tar.gz differ
diff --git a/docs/dist/debuggingbook-code.zip b/docs/dist/debuggingbook-code.zip
index a9288adb..b1d047f4 100644
Binary files a/docs/dist/debuggingbook-code.zip and b/docs/dist/debuggingbook-code.zip differ
diff --git a/docs/dist/debuggingbook-notebooks.zip b/docs/dist/debuggingbook-notebooks.zip
index 71959015..4a581729 100644
Binary files a/docs/dist/debuggingbook-notebooks.zip and b/docs/dist/debuggingbook-notebooks.zip differ
diff --git a/docs/html/index.html b/docs/html/index.html
index d8748fed..eda71fad 100644
--- a/docs/html/index.html
+++ b/docs/html/index.html
@@ -12140,7 +12140,14 @@
 <li><strong>Download the Python code</strong> (using the menu at the top) and edit and run it in your favorite environment.  This is easy to do and does not require lots of resources.</li>
 <li><strong>Download the Jupyter Notebooks</strong> (using the menu at the top) and open them in Jupyter.  Here's <a href="https://www.dataquest.io/blog/jupyter-notebook-tutorial/">how to install jupyter notebook on your machine</a>.</li>
 </ol>
-<p>For details, see our article on <a href="Importing.html">Using Debuggingbook Code in your own Programs</a>. Enjoy!</p>
+<p>For details, see our article on <a href="Importing.html">Using Debuggingbook Code in your own Programs</a>.</p>
+<p>As another alternative, you can also <strong>use our Docker images</strong> (experimental). <a href="https://docs.docker.com/get-docker/">Install Docker</a> and then run</p>
+
+<pre><code>    $ docker pull zeller24/debuggingbook
+    $ docker run -it --rm -p 8888:8888 zeller24/debuggingbook</code></pre>
+<p>and then in your Web browser, open the URL (<code>http://127.0.0.1/...</code> or <code>http://localhost/...</code>) given in the console output.
+This should give you the same environment as in mybinder.org.</p>
+<p>If you want to create your own Docker images, use our <a href="https://github.com/uds-se/debuggingbook/blob/master/binder/Dockerfile">Dockerfile</a> as a starting point.</p>
 </div>
 </div>
 </div>
@@ -12358,7 +12365,7 @@
 The content of this project is licensed under the
 <a href="https://creativecommons.org/licenses/by-nc-sa/4.0/" target=_blank>Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License</a>.
 The source code that is part of the content, as well as the source code used to format and display that content is licensed under the <a href="https://github.com/uds-se/debuggingbook/blob/master/LICENSE.md#mit-license">MIT License</a>.
-<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/index.ipynb" target=_blank)>Last change: 2024-06-29 18:24:52+02:00</a> &bull; 
+<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/index.ipynb" target=_blank)>Last change: 2024-07-01 16:49:37+02:00</a> &bull; 
 <a href="#citation" id="cite" onclick="revealCitation()">Cite</a> &bull;
 <a href="https://cispa.de/en/impressum" target=_blank>Imprint</a>
 </p>
@@ -12374,7 +12381,7 @@
 <a name="citation"></a>
 <h2>How to Cite this Work</h2>
 <p>
-Andreas Zeller: "<a href="https://www.debuggingbook.org/html/index.html">About this Book</a>".  In Andreas Zeller, "<a href="https://www.debuggingbook.org/">The Debugging Book</a>", <a href="https://www.debuggingbook.org/html/index.html">https://www.debuggingbook.org/html/index.html</a>.  Retrieved 2024-06-29 18:24:52+02:00.
+Andreas Zeller: "<a href="https://www.debuggingbook.org/html/index.html">About this Book</a>".  In Andreas Zeller, "<a href="https://www.debuggingbook.org/">The Debugging Book</a>", <a href="https://www.debuggingbook.org/html/index.html">https://www.debuggingbook.org/html/index.html</a>.  Retrieved 2024-07-01 16:49:37+02:00.
 </p>
 <pre>
 @incollection{debuggingbook2024:index,
@@ -12384,9 +12391,9 @@ <h2>How to Cite this Work</h2>
     year = {2024},
     publisher = {CISPA Helmholtz Center for Information Security},
     howpublished = {\url{https://www.debuggingbook.org/html/index.html}},
-    note = {Retrieved 2024-06-29 18:24:52+02:00},
+    note = {Retrieved 2024-07-01 16:49:37+02:00},
     url = {https://www.debuggingbook.org/html/index.html},
-    urldate = {2024-06-29 18:24:52+02:00}
+    urldate = {2024-07-01 16:49:37+02:00}
 }
 </pre>
 </div>
diff --git a/docs/index.html b/docs/index.html
index b48ffaec..72c061c1 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -12135,7 +12135,14 @@
 <li><strong>Download the Python code</strong> (using the menu at the top) and edit and run it in your favorite environment.  This is easy to do and does not require lots of resources.</li>
 <li><strong>Download the Jupyter Notebooks</strong> (using the menu at the top) and open them in Jupyter.  Here's <a href="https://www.dataquest.io/blog/jupyter-notebook-tutorial/">how to install jupyter notebook on your machine</a>.</li>
 </ol>
-<p>For details, see our article on <a href="html/Importing.html">Using Debuggingbook Code in your own Programs</a>. Enjoy!</p>
+<p>For details, see our article on <a href="html/Importing.html">Using Debuggingbook Code in your own Programs</a>.</p>
+<p>As another alternative, you can also <strong>use our Docker images</strong> (experimental). <a href="https://docs.docker.com/get-docker/">Install Docker</a> and then run</p>
+
+<pre><code>    $ docker pull zeller24/debuggingbook
+    $ docker run -it --rm -p 8888:8888 zeller24/debuggingbook</code></pre>
+<p>and then in your Web browser, open the URL (<code>http://127.0.0.1/...</code> or <code>http://localhost/...</code>) given in the console output.
+This should give you the same environment as in mybinder.org.</p>
+<p>If you want to create your own Docker images, use our <a href="https://github.com/uds-se/debuggingbook/blob/master/binder/Dockerfile">Dockerfile</a> as a starting point.</p>
 </div>
 </div>
 </div>
@@ -12353,7 +12360,7 @@
 The content of this project is licensed under the
 <a href="https://creativecommons.org/licenses/by-nc-sa/4.0/" target=_blank>Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License</a>.
 The source code that is part of the content, as well as the source code used to format and display that content is licensed under the <a href="https://github.com/uds-se/debuggingbook/blob/master/LICENSE.md#mit-license">MIT License</a>.
-<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/index.ipynb" target=_blank)>Last change: 2024-06-29 18:24:52+02:00</a> &bull; 
+<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/index.ipynb" target=_blank)>Last change: 2024-07-01 16:49:37+02:00</a> &bull; 
 <a href="#citation" id="cite" onclick="revealCitation()">Cite</a> &bull;
 <a href="https://cispa.de/en/impressum" target=_blank>Imprint</a>
 </p>
@@ -12369,7 +12376,7 @@
 <a name="citation"></a>
 <h2>How to Cite this Work</h2>
 <p>
-Andreas Zeller: "<a href="https://www.debuggingbook.org/">The Debugging Book</a>".  Retrieved 2024-06-29 18:24:52+02:00.
+Andreas Zeller: "<a href="https://www.debuggingbook.org/">The Debugging Book</a>".  Retrieved 2024-07-01 16:49:37+02:00.
 </p>
 <pre>
 @book{debuggingbook2024,
@@ -12378,9 +12385,9 @@ <h2>How to Cite this Work</h2>
     year = {2024},
     publisher = {CISPA Helmholtz Center for Information Security},
     howpublished = {\url{https://www.debuggingbook.org/}},
-    note = {Retrieved 2024-06-29 18:24:52+02:00},
+    note = {Retrieved 2024-07-01 16:49:37+02:00},
     url = {https://www.debuggingbook.org/},
-    urldate = {2024-06-29 18:24:52+02:00}
+    urldate = {2024-07-01 16:49:37+02:00}
 }
 </pre>
 </div>
diff --git a/docs/notebooks/index.ipynb b/docs/notebooks/index.ipynb
index fa79b9ab..d6416f94 100644
--- a/docs/notebooks/index.ipynb
+++ b/docs/notebooks/index.ipynb
@@ -24,10 +24,10 @@
    "execution_count": 1,
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-06-30T17:19:26.791126Z",
-     "iopub.status.busy": "2024-06-30T17:19:26.790658Z",
-     "iopub.status.idle": "2024-06-30T17:19:26.897900Z",
-     "shell.execute_reply": "2024-06-30T17:19:26.897566Z"
+     "iopub.execute_input": "2024-07-01T14:49:39.718459Z",
+     "iopub.status.busy": "2024-07-01T14:49:39.717817Z",
+     "iopub.status.idle": "2024-07-01T14:49:39.820259Z",
+     "shell.execute_reply": "2024-07-01T14:49:39.819943Z"
     },
     "slideshow": {
      "slide_type": "skip"
@@ -49,7 +49,7 @@
        "        "
       ],
       "text/plain": [
-       "<IPython.lib.display.IFrame at 0x104022b60>"
+       "<IPython.lib.display.IFrame at 0x10782e980>"
       ]
      },
      "execution_count": 1,
@@ -221,7 +221,17 @@
     "1. **Download the Python code** (using the menu at the top) and edit and run it in your favorite environment.  This is easy to do and does not require lots of resources.\n",
     "2. **Download the Jupyter Notebooks** (using the menu at the top) and open them in Jupyter.  Here's [how to install jupyter notebook on your machine](https://www.dataquest.io/blog/jupyter-notebook-tutorial/).\n",
     "\n",
-    "For details, see our article on [Using Debuggingbook Code in your own Programs](Importing.ipynb). Enjoy!"
+    "For details, see our article on [Using Debuggingbook Code in your own Programs](Importing.ipynb).\n",
+    "\n",
+    "As another alternative, you can also **use our Docker images** (experimental). [Install Docker](https://docs.docker.com/get-docker/) and then run\n",
+    "```\n",
+    "    $ docker pull zeller24/debuggingbook\n",
+    "    $ docker run -it --rm -p 8888:8888 zeller24/debuggingbook\n",
+    "```\n",
+    "and then in your Web browser, open the URL (`http://127.0.0.1/...` or `http://localhost/...`) given in the console output.\n",
+    "This should give you the same environment as in mybinder.org.\n",
+    "\n",
+    "If you want to create your own Docker images, use our [Dockerfile](https://github.com/uds-se/debuggingbook/blob/master/binder/Dockerfile) as a starting point."
    ]
   },
   {