When copying anything from a pdf file to Microsoft Word or other text editors, the formatting is always messed up in many places, like double or missing spaces between words or missing line breaks.
It would be much better if the formatting would be kept the same. This only happens when copying from a pdf, no other program/app does this on any other device.