Well, sure! They have many thousands of really smart developers.
I don’t think this particular doc, although it is a really good doc, supports the design doc process as described in the original article. It looks like good work being done in spite of the process, not because of it. It’s obviously just one data point, but I’d put it down as a negative point.
I wonder if anyone has done a proper investigation into whether the process is a good one?