Fixed slow gnsync startup
Do not pretty-print HTML before conversion, as pretty-printing triggers some errors in html2tet