Re: Mode loaded twice with Local Variables

[Richard Stallman]

      I didn't  think it  was the right  fix for  one reason :  some modes
      /may/  behave  differently  on  startup  if  /some/  variables  have
      /certain/  values.  In  other   words,  Local  Variables  would  set
      variables  to  some  value  before  launching  the  mode,  expecting
      a specified behavior.

Every major mode command discards all local variable bindings, first thing,
so that isn't going to happen.  (The exception, permanent locals, is only
meant for variables that _do not_ relate to the major mode at all.)