Open-source historical_fun repository includes research notes and public-domain files · Digg