Add missing preferences menu option on macOS.