@whitequark @swetland really startling to find a situation where I'm like "this HTML page is so hard to read and navigate, I'll switch to the PDF ahh that's better"