Don't sync an extension unless it is explicitly supported by the local shell version

[blackjackshellac]

I have two desktops, one running Gnome 3.38 and the other running Gnome 40. On the Gnome 40 system, I was using a development branch of dash-to-panel that is not generally available yet for gnome 40. But the dash-to-panel extension from the main release was being installed over the dev branch version. This is the metadata.json for the dev branch,

{
"extension-id": "dash-to-panel",
"uuid": "[email protected]",
"name": "Dash to Panel",
"description": "An icon taskbar for the Gnome Shell. This extension moves the dash into the gnome main panel so that the application launchers and system tray are combined into a single panel, similar to that found in KDE Plasma and Windows 7+. A separate dock is no longer needed for easy access to running and favorited applications.\n\nFor a more traditional experience, you may also want to use Tweak Tool to enable Windows > Titlebar Buttons > Minimize & Maximize.\n\nFor the best support, please report any issues on Github. Dash-to-panel is developed and maintained by @jderose9 and @charlesg99.",
"shell-version": [ "40" ],
"url": "https://github.com/jderose9/dash-to-panel",
"gettext-domain": "dash-to-panel",
"version": 9999
}

and the current release version,

{
"_generated": "Generated by SweetTooth, do not edit",
"description": "An icon taskbar for the Gnome Shell. This extension moves the dash into the gnome main panel so that the application launchers and system tray are combined into a single panel, similar to that found in KDE Plasma and Windows 7+. A separate dock is no longer needed for easy access to running and favorited applications.\n\nFor a more traditional experience, you may also want to use Tweak Tool to enable Windows > Titlebar Buttons > Minimize & Maximize.\n\nFor the best support, please report any issues on Github. Dash-to-panel is developed and maintained by @jderose9 and @charlesg99.",
"extension-id": "dash-to-panel",
"gettext-domain": "dash-to-panel",
"name": "Dash to Panel",
"shell-version": [
"3.18",
"3.20",
"3.22",
"3.24",
"3.26",
"3.28",
"3.30",
"3.34",
"3.32",
"3.36",
"3.38"
],
"url": "https://github.com/jderose9/dash-to-panel",
"uuid": "[email protected]",
"version": 42
}

[blackjackshellac]

Sorry, this was a problem with dash-to-panel.