Community
Participate
Working Groups
https://bugs.eclipse.org/bugs/show_bug.cgi?id=445600#c2
https://git.eclipse.org/r/34243
I have not heard anythink against this change, hence I plan to submit it soon. The service still stays within the "internal", just with a better name.
Fixed with https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=dae1bd6ab63c72d3a06baa87a7999fe261dbd1d1
.