Hello all, mille mercis for all the fine and useful comments, from the veterans and mavens!
I am familiar with the transient response adjustment of the CRT leads and termination, but I have never seen the leads bent like this, usually they are nearly straight. Agree a gorilla was there.
As the A5 board is pulled out for NVRAM work, and PSU is bad, this project is offline for some months.
After reassembly and repair of the PSU, I will check transient response for the characteristic 5 ns bump.
Certainly the CRT pin seal will not be disturbed.
I will send photos of the results.
Bon journée
Jon