Port changes related to HTML help over to other apps.