Re: New package -- XEtla, a (S)XEmacs frontend to tla