Remove unused tool "publish_htdocs.sh"
fix bug #9254 (homepage link not working on OS X)
fix critical GTK warnings on OS X reported in bug #9162