Once this merges, I'll make a github release including the PDF, so the
first link will work.