We’re more likely to lose the github repo (if, say, github decide, not unreasonably, that hosting large binaries is against their TOS) than the S3 bucket