Server Migration Notice (31/10/2026) — New SSH Host Keys (git.kb28.ch)
Following the server migration on 31/10/2026, the SSH host keys for git.kb28.ch have changed. If you encounter the REMOTE HOST IDENTIFICATION HAS CHANGED warning during git pull or git push, run the following command to directly replace the old key in your ~/.ssh/known_hosts file:
Official New SSH Key Fingerprints:
- ED25519:
SHA256:UrTJ+OdOKicPnL+6EgOHGlFSBm9KA+kBGMpKtoUBIOA
- ECDSA:
SHA256:qne+wTzSr8k5KIuEtXNYz9/LYed4eOMSmxzgMZ4g+KI
- RSA:
SHA256:eaVzvSUlo66pMayLMHL/cWg4zoPui3LmLOWKm0XX22g
Currently, the default font is Ubuntu Mono, which doesn't come preinstalled in many systems (Windows, MacOS, and most Linux distros), and generates a warning when compiling without them.
Typst comes with a few preinstalled fonts1 , and I think we should use that as a default, specifically DejaVu Sans Mono for
default-font-familyand Libertinus Serif fotitalic-font-family.See Typst Docs ↩︎
Indeed, this had already been pointed out in #9