@Bryan
I feel the second option, i.e. enhancing docker-tools in the source code, is do-able for me. Have just read the DevGuide. It’s not clear to me which Git workflow you use (apart from the hooks). My idea is to fork the repo, make changes in docker-tools and submit a PR? Since I won’t be doing anything with the JS side of things, I can safely skip the build tests, right?