<ShikharJShikharJ>
@zoq I'm doing good, thanks. I hope you're doing well too.
<ShikharJShikharJ>
@ryan:ratml.org I was wanting to ask you a question, if you don't mind. I remember that once back in 2017-2018, we had a PR bug-fix from an automated bot. I keep forgetting what the name of that bot was and was hoping you could tell me more about it. Is the company that developed that bot still around?