AFAIK Rob Pike has been retired for years.