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