ci/srht/index.json           |  5 +++++
 ci/srht/update_download_page | 13 ++++++-------
 2 files changed, 11 insertions(+), 7 deletions(-)