[A] Re: [PATCH] prog-modes: eiffel.el filename fixes + other minor fixes