On Monday, 5 June 2023 18:53:22 BST Mitch D. wrote: > > As for other fonts to explore AI suggests: > > > > Droid Sans Mono > > Inconsolata > > Liberation Mono
Those first two have the problem I find troublesome. See my other post for the third. Thanks anyway. -- Regards, Peter.
