Re: [Edu-sig] Editors/IDEs for teaching