I've reported a false positive via the official Microsoft Security channel for it (it's a web form) and AFAIK it has been whitelisted. My suspicion is that this

I've reported a false positive via the official Microsoft Security channel for it (it's a web form) and AFAIK it has been whitelisted. My suspicion is that this process is mostly automated, too, but it's worth giving it a try.