Menu

This change in the menu is for Release 1.2.
This may be more an XML/HTML holdover http://www.w3.org/International/questions/qa-escapes#use, but it appears other docs assume escaping as well http://www.w3.org/TR/html-polyglot/#named-entity-references