You can now use the Arduino IDE to develop and program your Micro:Bit, in my view thats a good thing to add this support as its a popular development tool that is used for many other boards Arduino assumes there's a 'softdevice' radio already installed....