TIL Michael Hart started Project Gutenberg by manually typing in the texts of 313 books on his own