> On 3. Apr 2021, at 21:55, Vanessa Freudenberg <vanessa at codefrau.net> wrote:
> 
> I very much like our use of a proportional font, but maybe it's time to switch to a different one?

I sure do like Fira Sans, it would be great for that I think…
-t