@gdkar @tjk the team I work on officially believes that gnutls is pronounced “guh-noodles” so