Custom 404 site

Can we have a custom 404 site, e.g. a page was moved or renamed, and a bookmark is not yet updated.

https://squidfunk.github.io/mkdocs-material/customization/#setup-and-theme-structure

create 404.html file

assigned to @mflehmig--tu-dresden.de

changed milestone to %Meeting-2022-07-13

assigned to @rotscher--tu-dresden.de and unassigned @mflehmig--tu-dresden.de

created branch 345-custom-404-site to address this issue

mentioned in merge request !631 (merged)

mentioned in commit 554189c1

closed with merge request !631 (merged)