Seedpress: The manuals sizes are different because font options and bitmap packing have been altered. PDF has a multitude of options and compatibility is also a factor. The 1.3Mb fiel on the web is probably as good as it get PDF-wise. If you print the manual at A4 size page numbers will match.