FWIW, BitDefender prevented that pdf from downloading on any of my Win10 machines until I clicked the "I understand the risk take me there anyway" option.
For some inexplicable reason, what is available online is a zip of the (pdf) manual. Evidently, BitDefender doesn't like it when you try to download a zip file.