Add ability to remove preferences
This is in particular so that obsolete data (e.g. comments and changesets that have been committed) can be removed from the .prefs
file.
This is in particular so that obsolete data (e.g. comments and changesets that have been committed) can be removed from the .prefs
file.