If I remember correctly, Pico-8 only has uppercase letters, these look smaller, maybe that is a secret font?
Uppercase pico font is bad enough to make me write code in Notepad++ and only open pico to test. This “Lowercase” pico hurts my eyes even more.
Anyhow, it doesn’t feel like it’s made in Pico-8, so you can change the font, at least to the uppercase font.
Traditions might be important, I feel like UX should be more important :)