More progress on the IDE.