Doesnt look like it. Seems like any name should work. This doesnt even really need a github repo, this is effectively a blog post talking about how to use Zscript from nightly right now.