A GUI Python utility for downloading and updating GitHub-based Minetest mods