deleted:    EmacsExtend.aux