Is there a way to specify the repo name to use for booters?
It seems that the booter scripts *always* look for a "repo" directory without leaving a way to specify a different repo name (e.g. "lib")... unless I'm missing something in the documentation.
