==================
* FIXED: Configuration file was occasionally getting corrupted (for mysterious reasons, maybe a bug in Python’s configparser)
* FIXED 104: Negative font size crashed Thonny
* FIXED 143: Linux installer fails if desktop isn't named "Desktop". (Later turned out this wasn't fixed for all cases).
* FIXED 134: "Open system shell" doesn't work in Centos 7 KDE