Janos Follath

The CI was still failing, I have pushed a commit with a fix, I hope you don't mind.

> The way Mbed TLS is structured, we don't store the public key, we recalculate it each time it's needed. As far as I can tell we call `mbedtls_ecp_gen_key()` from...

The checksum provided in the release announcement is intentionally for the mbedtls tags. When we started releasing on github, we still had the website. The checksum made sense to validate...

Bugs like for example https://github.com/Mbed-TLS/mbedtls/issues/7428 will need to be resolved before/as part of this.