Text this: History-deterministic Timed Automata