@ j0ker
Das ist bei mir auch so und trotzdem wurde der Editor mitgepatched.
Ist alles in ordnung.