const HELP_FILES = ["all", "tutorial", "intro", "starting", "browsing",
"buffer", "cmdline", "editing", "options", "pattern", "tabs", "hints",
const HELP_FILES = ["all", "tutorial", "intro", "starting", "browsing",
"buffer", "cmdline", "editing", "options", "pattern", "tabs", "hints",