Edit: Now that I knew what to look for, I found the procedure in a different manual from EMCTEST. Thank you for sharing this!
Also, the manual from EMCTEST is a 1990 printing, so likely more representative of my unit, rather than the 1984 printing from Artek, so added bonus.
-----------------------------------------------------------------------------
Thank you for your reply. Two things I find interesting here:
1: My manual is completely different, and does not list this procedure at all.
2: HP engineers advise using the wire on a screwdriver trick on a sensitive $60,000 piece of RF equipment
I would have expected something a bit more.... controlled.
I'll post below the only two pages in my manual that reference a service procedure for the A1A3 or the CRT. The only place I see a reference to a discharge procedure for a high voltage in the A1 section is in the A1A8 section, where it advises, "The time constant of the filter capacitor circuit is about 25 seconds. Before servicing, allow adequate time for discharge after line power cable is removed.". But this is referencing mains voltage levels, not the HV circuit. Even the CRT removal procedure does not have any flags about HV.
Was your manual sourced online? I'm using a manual from Artek, and the page numbers for the A1A3 stop at "A1A3 9/10", which is the schematic diagram for this board. I don't see it in the manual on Xdevs, either.