jpmens, I've been at it for a few years, but this is a first for me:
wget
curl --silent "<https://api.github.com/repos/....../releases/latest>" | jq -r '.assets[].browser_download_url' | egrep ".tar.bz2$"
Whole list of those which need to be copied out of a PDF ...
wget and curl.