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?

Cheers
Henri.