Fix HTML title to be more useful for indexing. PR: 5020 Reported By: jesse.glick@netbeans.com (Jesse Glick)