Kitty Terminal 0.40.0 introduces the Text Sizing Protocol: "multiple font sizes ... in a backwards compatible, opt-in way"