[abhinavg]

It has been around for a while, but I agree that hundreds of cross-linked PDFs is not the most accessible format.