If you're going to pop off the anode, discharge if it makes you feel better.
Me? I don't if it's been off for a while.
I damn well do if I go to put it back *on*, however. Getting the clip off is easy; putting it back on often requires being able to see what I'm doing, so I fold back the cap. Then I use my discharge tool, discharge the tube, then use the screwdriver tip to compress the anode spring back into the tube.