The pdf download page has been updated.

//The pdf download page has been updated.