Display UI Extension Points setting - where'd it go?

I’m working on adding some extra features to the UMG widget editor.

To do this, I need to locate where the Widget Editor’s getting its extensions from.

Once upon a time, under project settings->general->miscellaneous, there was a setting called “Display UI Extension Points” which would cause the editor to draw the names of all of the extension points in the editor in green text.

However, this entire category is now gone from the project settings. I can’t find it with the all settings search, and there isn’t anything in the Developer Tools menu or in the console commands which seem like they’d do it.

Does anyone have any idea where this setting has disappeared off to? Is it gone entirely? If so, how are we supposed to get this information now to extend the editor?

Found it, it was under Edit->Editor Preferences, not Project Settings.