I think the primary reason behind using the git here was that you could extract the scripts remotely from any URL (i.e. branch) without needing to worry about their being pre-generated. That being said, I don't have any issues with archiving them.