Google is not keen on publishing lists of employees. Sure, one can dig through public documents like patent applications, blog posts, and journal articles. But wouldn’t it be wonderful for Google t…