Doesn’t hurt to be sure.

I’ve contacted a malware expert to have a look-see. It may be a bit as he may live in another time zone than you.