The problem isn't a cathode or power supply problem. It is a phosphor problem. Selecting a display mode that lights up characters that are not on the default time display shows nice and bright characters there. The display is a 12 character 14-segment display. There is a possibility that a HP-34401A display might work. Those are available from China for around $50. I'll look at the display when I mount the new power supply.