When the Public Record Office of Ireland was reduced to rubble and ashes in the Irish civil war, seven centuries of precious historical documents were lost. Exactly 100 years later, the public…