[tbb-commits] [Git][tpo/applications/tor-browser-build][maint-14.5] Misc updates to the kick_devmole_build script