/com.github.rustdt.ide.core.prefs
