/* defined in help/ */

extern const char help_text[], quick_help_text[];
extern const unsigned short help_text_len, quick_help_text_len;