Bug fix: HTMLFile had incorrect implementation of #web_path. Was causing NavHelp to fail.