Electrical wiring help: What to do with unused ground wire in box

Installing a Honeywell home timer switch to give a little more outdoor light at night without having to touch the switch, and I have a question about the install.

The back of the timer switch that I am installing has the standard line (black), load (blue), and neutral (white) wires already seated and ready to pigtail with what’s in the switch box.

However, there is no grounding screw on the timer switch but I have a ground wire connected to the light switch I’m replacing.

Question is, what do I do with the existing ground wire? I’ve seen several methods and I’m wondering which is correct.

1. Cap the bare ground wire, wrap with electrical tape and store in back of box

2. Wire the ground to one of the yoke screws of the timer switch.

3. Pigtail the ground wire with the ground wire of the other light switch that’s in the box (being used for a different light).

So there's no ground wire on the wiring to the lights? Maybe tucked back out of the box or cut short?

I'd stuff it back in the box. Weary of cutting it, if the timer dies or you change it in the future.