We’ll stop selling our Code Editor app for iOS soon