Thanks for the reply, Kovid. You always seem to be in the front line

. The Poppler Project gives me the impression of being a rather inaccessable organization, though. But I'll try to get in touch with them about this topic. To me this problem looks like a major flaw of their conversion tool. I'm not an expert at regex, but I guess a regex search and replace will probably need replacing one at a time in stead of replacing all at once. So this will probably be too time-consuming to be of any practical use. I could not set up a regex expression that worked. And besides, it would also involve the intelligent use of linguistic rules to decide where word separations are to be kept in places where there are single empty spaces between letters. Something like AI.