IDE 1.8.0 Released -- update: 1.8.10

I'm glad to hear it's working now. I had turned on my RPi to look into this but you solved it before I had gotten around to it. It wouldn't have helped anyway since I'm using Raspbian Stretch.

Enjoy!
Per