Fabian Albert

Rebased to master.

Cleaned-up history.

Closed. See #3959.

This PR is now ready! Any review is welcome ❤️

Thanks again for your review, @reneme! I addressed your suggestions in https://github.com/randombit/botan/pull/3716/commits/a4c5df28bc9126a3f4de5fc3b02ec523863184a4.

Thanks for your detailed and comprehensive review, @reneme 👍 I addressed your suggestions in 1f3befe.