@amir I'm trying to avoid overwriting other people's customizations, is the thing. If you add a word yourself, it should stay, and not get replaced. And the bug happens even when all dictionaries are deleted. It's something about how I download the file.