New: logo; minot fixes

Author: andreas-zeller

_config.yml

@@ -1,7 +1,7 @@
 title: The Fuzzing Book
 author: Andreas Zeller, Rahul Gopinath, Marcel Böhme, Gordon Fraser, and Christian Holler
-copyright: 2021-2025 CISPA Helmholtz Center for Information Security (www.cispa.de); Copyright © 2018-2020 Saarland University, authors, and contributors. All Rights Reserved
-# exclude_patterns: [BookIntro.md]
+copyright: 2021-2025 CISPA Helmholtz Center for Information Security (www.cispa.de); © Copyright 2018-2020 Saarland University, authors, and contributors. All Rights Reserved
+logo: "_static/fuzzingbook.png"
 
 bibtex_bibfiles:
   - fuzzingbook.bib
@@ -36,13 +36,15 @@ parse:
     - deflist
 
 html:
-  # announcement: '<p>💃 Fandango is currently in development - see our <a href="https://github.com/fandango-fuzzer/fandango/issues"  style="color:white;">list of bugs and incomplete features</a>. A first beta release is scheduled for early April 2025.</p>'
+  announcement: '<p>This is a beta version of fuzzingbook.org, currently in development. See the <a href="https://fuzzingbook.org/"  style="color:white!important;">classic site</a> for resources.</p>'
   use_issues_button: true
   use_repository_button: true
 
 repository:
   url: "https://github.com/uds-se/fuzzingbook/"
+  path_to_book: "docs/notebooks"
+  branch: master
 
 launch_buttons:
-  binderhub_url: "https://mybinder.org/v2/gh/uds-se/fuzzingbook/HEAD?labpath=docs%2Fnotebooks/index.ipynb"
-  thebe: true
+  binderhub_url: "https://mybinder.org"
+  thebe: false  # Does not support local imports

_static/fuzzingbook.png

@@ -4,7 +4,7 @@
    "cell_type": "markdown",
    "metadata": {},
    "source": [
-    "# About this Book\n",
+    "# The Fuzzing Book\n",
     "\n",
     "__Welcome to \"The Fuzzing Book\"!__ \n",
     "Software has bugs, and catching bugs can involve lots of effort.  This book addresses this problem by _automating_ software testing, specifically by _generating tests automatically_.  Recent years have seen the development of novel techniques that lead to dramatic improvements in test generation and software testing.  They now are mature enough to be assembled in a book – even with executable code. "