Hmm. Before I start changing it... If the init file was loaded from .eln, do we want it to warn the user - when init.el is newer than init.elc, or - when init.el is newer than [whatever]/init-xxxxxxxx-yyyyyyy.eln (as it's doing now)?