eclipse.tex: translate "Early Eclipse" - "Platform"