Angelo S Of course. Anyway, when copying from PDFs or Word documents, the advice is to pass to first paste the text on a text editor and then copy that from here. This will get rid of rare special characters that can create issues.
