frontend: Track rename of `help-opts'.