Discharging a VT100 CRT