Sorry for the delay. It was a problem with another plugin. Never mind. 🙂 But thanks for your answer @merijnmolenaar!
I think I will try an upgrade to 5.0.2 this evening.
@kryptokatt thanks for our reply. I’ve already tried that. Unlikely nothing has changed.