diff --git a/binder/postBuild b/binder/postBuild
index 131bb12b..f6ef80aa 100755
--- a/binder/postBuild
+++ b/binder/postBuild
@@ -478,6 +478,10 @@ a.import:active {
     color: red!important;
 }
 
+svg a {
+    text-decoration: none!important;
+}
+
 /* Banner */
 .banner {
     margin-top: 30px; /* Add a top margin to avoid content overlay */
diff --git a/docs/beta/dist/debuggingbook-1.2.3.tar.gz b/docs/beta/dist/debuggingbook-1.2.3.tar.gz
index f992c365..27f8d55e 100644
Binary files a/docs/beta/dist/debuggingbook-1.2.3.tar.gz and b/docs/beta/dist/debuggingbook-1.2.3.tar.gz differ
diff --git a/docs/beta/dist/debuggingbook-code.zip b/docs/beta/dist/debuggingbook-code.zip
index 0253547c..cde4f8a6 100644
Binary files a/docs/beta/dist/debuggingbook-code.zip and b/docs/beta/dist/debuggingbook-code.zip differ
diff --git a/docs/beta/dist/debuggingbook-notebooks.zip b/docs/beta/dist/debuggingbook-notebooks.zip
index 49e8cf08..6f4fbe37 100644
Binary files a/docs/beta/dist/debuggingbook-notebooks.zip and b/docs/beta/dist/debuggingbook-notebooks.zip differ
diff --git a/docs/beta/html/custom.css b/docs/beta/html/custom.css
index cd5fc60b..26bd558d 100644
--- a/docs/beta/html/custom.css
+++ b/docs/beta/html/custom.css
@@ -426,6 +426,10 @@ a.import:active {
     color: red!important;
 }
 
+svg a {
+    text-decoration: none!important;
+}
+
 /* Banner */
 .banner {
     margin-top: 30px; /* Add a top margin to avoid content overlay */
diff --git a/docs/beta/notebooks/README.md b/docs/beta/notebooks/README.md
index 50c44bae..e1a15e70 100644
--- a/docs/beta/notebooks/README.md
+++ b/docs/beta/notebooks/README.md
@@ -66,6 +66,6 @@ This work is designed as a _textbook_ for a course in software debugging; as _su
 
 ## News
 
-This book is _work in progress._  All chapters planned are out now, but we keep on refining text and code with [minor and major releases.](https://www.debuggingbook.org/html/ReleaseNotes.html) To get notified on updates, <a href="https://mastodon.social/invite/P27cijZH">follow us on Mastodon</a>.
+This book is _work in progress._  All chapters planned are out now, but we keep on refining text and code with [minor and major releases.](https://www.debuggingbook.org/html/ReleaseNotes.html) To get notified on updates, <a href="https://mastodon.social/@TheDebuggingBook">follow us on Mastodon</a>.
 
 <!--
diff --git a/docs/beta/notebooks/custom.css b/docs/beta/notebooks/custom.css
index cd5fc60b..26bd558d 100644
--- a/docs/beta/notebooks/custom.css
+++ b/docs/beta/notebooks/custom.css
@@ -426,6 +426,10 @@ a.import:active {
     color: red!important;
 }
 
+svg a {
+    text-decoration: none!important;
+}
+
 /* Banner */
 .banner {
     margin-top: 30px; /* Add a top margin to avoid content overlay */