>>>>> Alexandre Oliva writes: Alexandre> It's as mechanical as the change you proposed, except that yours Alexandre> potentially loses information that would enable someone to recover Alexandre> !BEFORE_RELOAD_P() out of the expanded version of no_new_pseudos.
Except that no_new_pseudos was not used consistently.
David
