In which I play with the kitty terminal emulator. Started a bit ago because font ligatures are cool, revisited today because kitty's faster than GNOME Terminal.

https://randomgeekery.org/2019/05/27/kitty-terminal/