[jstanley]

Thanks, I hadn't come across this. It could very well be the same thing.

I didn't notice any XMR mining though, FWIW.