Re: New port: JetBrainsMono fonts

Thanks for the comments Stuart & George. I believe I addressed all
your comments.

I further stole from espie@'s port which simplified things a bit more.