Very cool. I also like coding with proportional fonts. I wish I could find some with coding ligatures. [I've wondered if VSCode theming would allow for using

Very cool. I also like coding with proportional fonts. I wish I could find some with coding ligatures. [I've wondered if VSCode theming would allow for using a regular font for alphanumeric characters, and a special font (like Fira Code) for punctuation characters, so they can be displayed with all their ligatury glory.]