No, don't file a separate bug, once it's fixed in the plugin the next release on OSX will include the fix.
No, don't file a separate bug, once it's fixed in the plugin the next release on OSX will include the fix.