Wow, I didn't know that. Rob Pike is indeed a hypocrite.