On Mon, 2023-06-05 at 10:31 -0700, Mark Knecht wrote: > Bummer. Looks like he might have changed it.
Unfortunately I'm no further help in that case. Visually I live and die by the slashed zero, using Terminus, which itself is a replacement for the very old-fashioned ProFont.
