MOVED: Problem with web editor plugin on fedora.

This topic has been moved to Editor.

https://forum.arduino.cc/index.php?topic=487387.0