Rename 1_prelude.pdf to 1_history.pdf