Add linting for HELP_CATEGORIES#1545

rsashank wants to merge 1 commit intozulip:mainzulip/zulip-terminal:mainfrom

rsashank:hotkeylintingrsashank/zulip-terminal:hotkeylintingCopy head branch name to clipboard