@thauburger I ran Twitter’s Kernel & OS team during a large part of his tenure and never met the guy.