This is an amazingly candid admission of issues with Mbed tools and what's being done about them currently and in coming months. https://os.mbed.com/blog/entry/Introducing-the-new-Mbed-Tools/ -Pete