Beta extensions can be added to a project multiple times

[microbit-carlos]

Describe the bug Normally when an extension is added to a user project, it is no longer available in the extension search. With beta extensions this does not seem to be the case.

CC/Found by @microbit-caroline.

To Reproduce Steps to reproduce the behavior:

1. Create a new project
2. Go to extensions and search for "microbit-v2-power", multiple extensions should appear, including a beta extension
3. Add it to the project
4. Go to extension and search again for "microbit-v2-power", the extension still appears and it can be added to the project again.

Expected behavior The extension should not appear in the search after it has been added to the user project.

Screenshots

micro:bit version (please complete the following information): N/A

Desktop (please complete the following information):

• OS: macOS
• Browser: Chrome
• Version: 138

Smartphone (please complete the following information): N/A

Additional context N/A

[martinwork]

All external extensions, e.g. “neopixels”, still appear after being added.

[microbit-carlos]

Ah, thanks Martin! I guess we are really used to the datalogger extension disappearing after it was added to the project. @abchatra just to double check if this is the expected behaviour from non-built-in extensions? It does seem slightly confusing, although it doesn't break anything.

[abchatra]

I think built-in extensions are the only one who doesn't show up. All others (which are github extensions) show up again. Not a high priority bug as nothing breaks if user tries to add it again, but we should be consistent.