In reply to https://jan.boddez.net/notes/eb924e1422. Guess it doesn’t always …