Fix UTF-8 in the manual translations

This shouldn't have happened.