TorBrowser 12.5.6 no longer flagged by Windows Defender

See my immediate solution to this AV problem (for the next time)