Teiva Harsanyi e4cf35ee75 Merge branch 'master' into content ... # Conflicts: # docs/index.md # site/index.html # site/search/search_index.json # site/sitemap.xml # site/sitemap.xml.gz		2023-09-27 10:16:49 +02:00
..
index.html	Merge branch 'master' into content	2023-09-27 10:16:49 +02:00