Can't remove Microphone extension

[TheVogels]

Describe the bug I can't remove the Microphone extension.

To Reproduce Steps to reproduce the behavior:

1. Go to 'TypeScript code editor (I think MicroPython also will work)'
2. Expand 'Explorer'
3. Scroll down to 'microphone'
4. Press the remove extension button and confirm.
5. microphone isn't gone.

Expected behavior Microphone extension no longer shows in the editor.

Screenshots

micro:bit version (please complete the following information):

I'm designing for the Micro:Bit V2.

Desktop:

• OS: Windows 11 24H2 (Build 26100.3194)
• Browser" Firefox Version 139.0.4 (64-bit)
• Version:

Smartphone (Why do I need to p):

• Device: iPhone 15 Pro
• OS: iOS 17.7.1
• Browser Safari

Additional context

This issue I think has existed for some years, as I remember trying to remove it with no other extensions installed.

Extensions installed

• display-shield v1.0.7
• microphone (The extension I can't remove)
• flashlog