I'm seeding those, plus the combined 7z file that's linked in the same GitHub issue.

Edit: scratch that, can't get any peers/DHT response - can you check if you're announcing that torrent at all?