If it has not already popped up, open the Downloads icon, where you will see a folder titled after your font with a .zip extension. Double click on this folder to open it. The folder will now be ...

The Kitty terminal emulator supports multiple font sizes. The open source tool can be extended via a framework in Python.