Please https://www.openssl.org/community/thanks.html for the current
acknowledgements.