PDF button for the article doesn't work and I couldn't find a link in the source or the JS. Annoying. Anyone stumble across the PDF version? Printing the page t

PDF button for the article doesn't work and I couldn't find a link in the source or the JS. Annoying. Anyone stumble across the PDF version? Printing the page to PDF from the browser works to no avail either.