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?

Seems redundant, as you can already choose what file you want in the magnet link I posted. This only harms both swarms.