@BramChen, @xcazin, @pmario: My apologies for the disruption to the
control panel translations. I’m going to continue refactoring for a
while longer, and I’m afraid there are likely to be further changes
For example, the previous title for the tiddler containing the editor
types tab of control panel was
“$:/core/ui/ControlPanel/Advanced/EditorTypes”. We’re now removing the
“Advanced” portion, so that we don’t have to rename tiddlers like this
if we move them around between tabs
