* 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.