[Edu-sig] Re: IDE for teaching?