Update IDE.html