💡 Add custom 404 page

[dalito]

see gh-documentation

[dalito]

We tried first with 404.md but it seems to require activating jekyll as doc-generator which we don't use. However, a 404.html file is correctly used even in our no-jekyll-pages.