nice-to-have: custom fonts for code display

I use a CSS extension to change the font used to render monospaced text (composing notes/descriptions, code display).

It would be nice to allow this choice natively to the user, especially since font choice for programmers can be a subjective and personal preference, sometimes held intensely.

We allow users to choose their syntax colour scheme, perhaps we can allow them to choose a preferred font too?

We can optionally host some of these fonts, and/or allow the user to name any font, with the understanding they will be used if installed on their system, and that we will otherwise fallback to the current font selection.