Diff: Help/UserPreferencesPlugin

Differences between current version and previous revision of Help/UserPreferencesPlugin.

Other diffs: Previous Major Revision, Previous Author