Arduino Create. Device Manager. Remove Device.

Good news everyone! The problem of the "zombie" Linux Devices in Arduino Create Device Manager should now be fixed. Please let me know if anyone still has this problem.

Thanks so much to everyone who brought this bug to our attention!