> This is not a small change, but I see no corresponding entry in > copyright.list. AFAIK this was all written by Google employees and is covered by Google's blanket assignment. We don't have a good way to track/check it, tho.