> From: Ship Mints <shipmints@gmail.com>
> Date: Sun, 2 Mar 2025 13:56:37 -0500
> Cc: Stefan Kangas <stefankangas@gmail.com>, Eli Zaretskii <eliz@gnu.org>, 76687@debbugs.gnu.org
>
> Perhaps as simple as adding help modes to hi-lock-exclude-modes?  It looks like hi-lock mode exclusion
> logic might need a little improvement to honor derived modes.

Any reason why Help mode should be exempt from global-hi-lock-mode?
This bug report shows a single instance of that mode which perhaps
needs to be fixed, so why disable the mode for all of the Help
buffers?