UPDATE: Looks like the virus couldn’t jump from my PC to our servers, as I had suspected. We’re all-clear. I just wanted to play it safe.