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