A programming language for text modification.