Uncovering ‘hidden’contributions to the history of Digital Humanities: the Index Thomisticus’ female keypunch operators