I wouldn't use these fonts in documentation or on a blog. But I love them in my editor, where only I need to understand the difference between the literal chara

I wouldn't use these fonts in documentation or on a blog. But I love them in my editor, where only I need to understand the difference between the literal characters and those tasty ligatures.