Actually, that site gives unnecessarily elaborate advice. The discharge tool he describes is utterly useless. The high voltage simply arcs across the resistor. Don't bother with a resistor; just use a grounded tool.
That said, I'll repeat my "broken record" utterance: There is no need to discharge the crt if you are not going to disconnect it from the analog board.