View Revisions: Note 7202

Summary 0002486: Menu "Preferences..." entry changes depending on language