Lots of minor changes: mostly renaming EL to \ELABR{} but also various corrections