OldTools Archive Recent Bios FAQ 256995 Mark Jefferis <mark.tango@i...> 2015‑11‑22 Re: Darkening punched numbers Recent Bios FAQ