Also, I realized Rob Pike stopped tweeting, his last tweet is from 8th of May 2019, https://twitter.com/rob_pike.