the current downloaded pdf is too big, if we can download a compressed pdf file, it would be nice.