Good luck on your next endevour. I can't help but thinking about a place like JetBrains where you could keep contributing to the community like ever before. After working on the toolchain, this seems like the natural step forward :)
So, when are you joining ddg?😂 just kidding... your contributions to the community are valuable, even for devs like me... keep it up & bestbof luck for the future, there many things other than working at google😂😂
I don't think we had a chance to meet while you were here, but I heard good things about you from colleagues and heard that you did Android development.
Good luck with your future endeavors. Perhaps we will get a chance to meet some day.