ci/srht/index.html               | 731 ++++++++++++++++++++++++++++++++
 ci/srht/index.json               | 350 +++++++++++++++
 ci/srht/update-download-page.zig | 103 +++++
 ci/srht/update_download_page     |  43 +-
 4 files changed, 1212 insertions(+), 15 deletions(-)