This will be, at some point, a script to run on Gerrit presubmit (ie. right before merge). For now, you can manually run it to ensure that Everything At Least Kinda Works. Change-Id: I28b305fa81a4ca4a8e94ce4daa06fe9ae0184fe8