Re: [gambit-list] Identifier renaming on load?