ADD-OVERRIDE-HINTS!

add non-locally to the override-hints
Major Section:  SWITCHES-PARAMETERS-AND-MODES

Add-override-hints! is the same as add-override-hints, except that the former is not local to books or encapsulate events in which it occurs. See add-override-hints; also see set-override-hints.