On Wed, Oct 23, 2013 at 7:48 PM, Aditya Mahajan <adityam@umich.edu> wrote:

I get similar sizes:

4.7M Oct 23 13:44 MDP.html
3.2M Oct 23 13:45 MDP.html.7z
1.6M Oct 20 13:03 MDP.pdf

but it is impressive that it can correctly render the output.

I am not sure how it compares with PDF.js in terms of speed and accuracy. One drawback (or advantage, depending on how you want to look at it) is that text cannot be copy pasted.