Nice font! I’ve never thought about using a non-monospaced font for coding, although I’m not sure I can articulate why monospace is the default / standard.
I imagine it has to do with the lack of heads up from Reddit. If the app makers had been given six months before needing to pay huge fees, they could have incorporated other sites and transition their users to alternatives. But they had ~30 days notice and would need to shutdown on July 1 and open again when they can support lemmy.
Yup, that’s what I use simply out of not changing too many settings when I install an IDE.