change of character encoding

Hi folks,

One of the changes in the publication process has been a change of 
character encoding in the html docs.

Judging from the html diffs all is well, but please have a think about 
whether a change of encoding could cause any problems.

Thanks to DaveB picking up a syntax issue.

Brian