Possible progress:
- When I create a new file, there are 4 formatters by default:
- When I save it like this, then the change is not saved and formatters remain deactivated
- When I delete one entry, then it is saved correctly
- After that, I can add new entries and it works
So there seems to be something weird about the initial selection…
Side note: is “Replace Unicode ligatures” (which is not mentioned in the documentation, but is included in the default list) covered by “Unicode to LaTeX”?