I found a great source of UTF-8 expertise that showed
me how to resolve the garbled UTF-8 characters:

http://htmlpurifier.org/docs/enduser-utf8.html

All I had to do was rename the charset=utf-8 file,
04_P9Server.html     to
04_P9Server.utf8.html
and most webservers configured to say their content
is something like ISO-8859-1 to not do that for
files so named.

The Revisions section was expanded due to the lack
of transparency to the tar and the tar was updated.
-- 
<not cent from sell>
May the LORD God bless you exceedingly abundantly!

Dave_Craig______________________________________________
"So the universe is not quite as you thought it was.
 You'd better rearrange your beliefs, then.
 Because you certainly can't rearrange the universe."
__--from_Nightfall_by_Asimov/Silverberg_________________