Kitty 0.40: Update für Terminal-Emulator bringt variable Schriftgrößen

Der Terminal-Emulator Kitty unterstützt mehrere Schriftgrößen. Das Open-Source-Tool lässt sich über ein Framework in Python erweitern.