over the past two decades , king 's college research institute in systematic theology had used optical character recognition software in unison with linguistic translation devices to digitize and catalog an enormous collection of texts - encyclopedias of religion , religious biographies , sacred scriptures in dozens of languages , histories , vatican letters , diaries of clerics , anything at all that qualified as writings on human spirituality .