Thanks for the commands. The difficult part is removing the old builds, as there are no helper tools for deleting files from a GitHub release tag. That’s why the file names for each new build are the same as the old. The new ones simply overwrite the old ones.