> Actually, I wonder if ignoring even the global hooks (as opined by
> Juanma) and enforcing more widespread usage of FEATURE-unload-function
> wouldn't be better;
Anything automatically done in the unload-hook is just an ad hoc fix for things the
module author knows how to do better than us. FEATURE-unload-function has already
been there for a few years. I don't remember right now whether we suggest in the
mode-creation documentation to use it, but certainly that's something module authors
should do, and the automatic unloading is just a last-resort feature for those old
modules that don't. There's no point IMHO to make the hands off approach work better.