dart-editor: devel now points to 30338