I made several observations using the new version. One of them is that the "theme" is not loaded anymore. Via "Preferences" and "Load" at the bottom nothing happens.
Furthermore it turned out that the upload speed of the serial port is reduced compared with the earlier version. As such not a very big deal, but would it be possible to have a speed selected somewhere in the middle between 115200 and 921600. 512k maybe?