add favicon: try NO. 1 #11

Merged
kritzl merged 3 commits from chris/favicon into main 2026-09-29 16:22:52 +02:00