Retired official helped bring Vatican Library into 21st century | Crux