### User interface
   * Option key is now identified as such instead of Alt in the Hotkeys preferences section on macOS builds