Windows 10's package manager, while unsophisticated, should provide a secure route to download PuTTY safely. Right?