I used that for about twenty years before switching to Jetbrains Mono, perhaps worth checking out if you're looking for something more modern (ttf, ligatures, a

I used that for about twenty years before switching to Jetbrains Mono, perhaps worth checking out if you're looking for something more modern (ttf, ligatures, a bit more modern design thought about disambiguation, etc).