Informatics for Historians: Tools for Medieval Document XML Markup, and their Impact on the History-Sciences