doc: use UTF-8 in the manual