Name change for web IDE