The
Offline Edition of the website now contains all the PDF files from the live website. Although this more than doubles the size of the offline zip file, I hope the benefit of the nicely formatted PDF files will offset the inconvenience of longer download times.