Use HTML entities for accute accented text 

The GitHub web editor, which wass used in making the previous revision of this document, had modified the acute-accented characters in the name of one of the contributors. This change effectively reverts the presentation, using HTML character entities instead of those special characters