This messes up the whitespace in the output PDF document in some places.
Attach a file by drag & drop or click to upload
