Files extracted from https://github.com/openconfig/public