I tried converting the same PDF file using the "Convert file to Google Docs" upload option. Given the nature of the file, the result was as pitiful you'd expect. Google translated the tops of some pages correctly but then the conversion would disintegrate, and the 13-page original was eventually rendered as a 29-page .odt aka OpenOffice document.