// The content of this directory is autogenerated by the registry server.