Are there substitutes for the Arduino IDE online, but without a necessary plugin. I am using a Dell Chromebook. I am aware of the Arduino Web editor, however it requires a plugin, in order to function. I am also aware of code bender, however it is shutting down. Any help would be highly appreciated.