Does it make sense to install a separate antivirus now? I've heard that Windows Defender seems to be doing pretty well lately.