The text a1643d93b9cf, as Debian 10 (Buster) shipped it.
use serverinfo extension
SSL_CTX_use_serverinfo(3ssl) on Linux now