Thanks for the useful link! I guess I am being overly paranoid, but I always also add a virus total check on top of it to make sure the file is clean [1] [1] https://www.virustotal.com/gui/home/upload