Merge pull request #2609 from ericrosenbaum/bugfix/microbit-name-and-description

Fix micro:bit extension name and description

src/lib/libraries/extensions/index.jsx

@@ -115,13 +115,13 @@ export default [
         disabled: true
     },
     {
-        name: 'Micro:bit',
+        name: 'micro:bit',
         extensionId: 'microbit',
         iconURL: microbitImage,
         description: (
             <FormattedMessage
-                defaultMessage="Connect your projects with the physical world."
-                description="Description for the 'Micro:bit' extension"
+                defaultMessage="Connect your projects with the world."
+                description="Description for the 'micro:bit' extension"
                 id="gui.extension.microbit.description"
             />
         ),