ladegaard@hku.hk / isak.ladegaard@gmail.com / Bluesky: ladegaard.bsky.social / PGP Key ID: E1FC377D / Signal: isak.47