Assertion: preference | /r/HasProperty | initialized by other preferences files
Facets:
Source sentences:
text: prefs.js is automatically generated by the application and should not be edited manually, whereas user.js is an optional file the user can create to override preferences initialized by other preferences files.