Text this: Definable henselian valuations