@astronomerritt @hedders Haha. That was me yesterday. A non-urgent but important task that has been living in my head for 11 months (!) got done finally. By me. Bravo, Pete. It took 5 minutes. It is highly unlikely that future behaviour will change from this experience.