Ist da! Aber Achtung…
Neu ist in der Voreinstellung, dass die vorherige Version deinstalliert wird. Dies muss unter den «Erweiteren Optionen» zuerst deaktiviert werden.
Dies betrifft nicht zuletzt alle welche mit PlugIns anderer Hersteller arbeiten.
Juni 16