500-year-old library catalogue reveals books lost to time | Hacker News Reader