delete from the list of override-hints

See override-hints for a discussion of override-hints. Here we describe how to delete from the list of override-hints. Note that the effects of remove-override-hints events are local to the books or encapsulate events in which they reside; see remove-override-hints! to avoid that restriction. Also see add-override-hints and see set-override-hints.

General Form:
(remove-override-hints form)
where form should evaluate to a list of computed hint forms. The effect of this event is to set the list of override-hints to the result of deleting each element of the evaluation result from the override-hints, if that element indeed belongs to the override-hints; no check is made that these elements are actually elements of the existing override-hints.