Re: [whatwg] Proposal: Specify SHA512 hash of JavaScript files in