This tool is not needed since license headers were removed in
d29871977f97b50fe5e3f16cd9c68ebeba02a562.