@datagoblin oh my god i need that an an editor font