Text this: Editorial Introduction to Issue 9 of the Journal of the Text Encoding Initiative