A fresh PDF and an updated Markdown version