On 2018-07-22, Valeri Galtsev <galtsev at kicp.uchicago.edu> wrote: > > And on top of all: MS Windows is the only systems I know of whose vendor > tells you, it is not safe to run without 3rd party software (antivirus). AFAIK (my son runs Windows, to my shame) Windows now comes bundled with antivirus software. I have no idea if it actually works or not. --keith -- kkeller at wombat.san-francisco.ca.us