Well it works (most of the time), sometimes it doesn’t work via Mac, the XMOS updater is terrible. The worst error you’ll get is “unable to detect board”, which means you can’t brick your Tone Board using the Mac - but then you can’t update it either.
Updating via Ubuntu and Windows is more reliable, I just run a virtual machine of Ubuntu on the Mac, and connect the USB-DAC to it.