Fix check-manual to properly handle UTF-8 characters in source text.
This fixes false-positive warnings when a procedure name includes a non-ASCII character.
Authored by: david_costanzo 2020-06-20
Parent: [r5296]
Child: [r5298]
