Convert text encoding

Fix mangled accents by re-encoding a text file, and normalise line endings at the same time.