Ich würde mal unter Plugins und dort editor-xtd schauen.
Nichts vorhanden-
So sollte mein Screenshot eigentlich gedeutet werden.
Sorry, habe ich wohl nicht ganz kapiert.
Was da unter #14 gezeigt wird, ist der Button von Regular Lab's Sourcerer.
Aha. Und was sagt uns das? Ich wiederhole: bei J3 ist er noch da, und bei J4 ist er weg.