Here's a better picture of the capacitor in question. The green wire on the + side is soldered to pins 2 and 7 of V4. The negative goes to the 0.005uF and the CRT filament wire (the yellow wire at the top).
I'll just leave it out for now. Once the set is operational, maybe I'll clip it in to see what effect, if any, it has.