@gummibando as an aside, I’ve been loving this new font Berkeley Mono. Really neat ligatures, too