Seriously? Did you even look at the pages in question?

They are reproductions of the originals, and maintain the original fonts and orthography. This includes the long s, as well as certain ligatures (like ct), and has absolutely nothing to do with their choice of OCR software. In fact, there's no indication that OCR software was used at all.