Add local extensions

[jpmckinney]

• We can use a Google Sheet to get the source URLs.
• We can build a minimal extensions.json file similar to the Extension Explorer's on a schedule with GitHub Actions.
• These would be styled differently.