I saw in a Subreddit post, that defender is automatically disabled if a third party antivirus is installed. Does this mean you could install a portable, no admin required antivirus, or something claiming to be, to disable antivirus, and then just turn off the antivirus.