Generate downloads page based on new python script.

.github/workflows/generate-downloads-page.yml

@@ -13,12 +13,20 @@ jobs:
       - name: Simple Date
         id: simple-date
         run: echo "date=$(date '+%Y-%m-%d %H:%M')" >> $GITHUB_OUTPUT
+      - name: Set up Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: '3.x'
+      - name: Install Python dependencies
+        run: python -m pip install --upgrade pip requests
       - name: Check out the repo
         uses: actions/checkout@v4
         with:
           ref: publish-downloads-dev
       - name: Update downloads page
-        run: echo "${{ steps.simple-date.outputs.date }}" > ${{ github.workspace }}/docs/downloads.md
+        run: |
+          cd ${{ github.workspace }}/docs
+          GITHUB_TOKEN=${{ secrets.GITHUB_TOKEN }} ./generate-downloads-page.py
       - name: Add, commit and push
         uses: EndBug/add-and-commit@v9
         with: