On Sep 2, 2018, at 12:00 PM, pd-dev-request@lists.iem.at wrote:

Date: Sun, 2 Sep 2018 03:15:20 +0000
From: Henri Augusto Bisognini <msndohenri@hotmail.com>
To: "pd-dev@lists.iem.at" <pd-dev@lists.iem.at>
Subject: [PD-dev] Two preferences menus
Message-ID:
<RO1PR80MB04112923698ACCEC1B6699F2CC0D0@RO1PR80MB0411.lamprd80.prod.outlook.com>

Content-Type: text/plain; charset="iso-8859-1"

I've noticed there are two equal preferences menus on Windows and Ubuntu.

File->Preferences
Edit->Preferences

Is it intentional or some leftover after a change?