Sounds reasonable. I'm not sure how big those libraries would be, but if we do decide to commit them to a Git repository alongside instructions to generate them, we could include them as [Git submodules](https://git-scm.com/book/en/v2/Git-Tools-Submodules). This would allow us to control which version of which library comes with which version of the main repository.