To extend on this, I would like to see these preference pages being part of the editor preference page instead of having them on the top level. But I already did some refactorings on the preference pages, the plan is to get them merged after the package restructuring is merged. Your PR is probably not going to be merged before this, thus you should expect doing a rebase on these changes.