As you assumed, the download script consider only tags files which are attached to the wiki page.
I added a note trying to explain it. If you think it could be better, feel free to edit. It's a wiki.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.