Update ide.html