Upgrading to 5.3 seems to have fixed it (or maybe you updated the plugin as well). Anyway thank you my problem seems to be solved.
Oh thanks. Yeah I drilled down a bit and found that I’m on 5.2 with option to upgrade to 5.3. Once I’m at 5.3 perhaps I can go to 5.4
I (that is to say my web host) is running 5
There was a third step in additionm to deactivating and deleting the files — the rogue plugin created a page which i had to go and delete in page management.