GoogleBot Extension On John Mueller's Browser?

John Mueller presented at SEO Day virtually and someone noticed that on his Chrome browser was this little robot extension and shared a screen shot of it on Twitter. I am not sure what it does but I would guess it does some internal debugging related to Google Search and is not a public extension. I can be wrong....