Small cleanup of unused preferences inherited from the Dart plugin