https://rakhesh.com/windows/set-7-zip-as-the-default-for-zip-files/