The text 5bf2c2af5e4a, as Debian 8 (Jessie) shipped it.
API function
gnutls_priority_kx_list(3) on Linux now