[ANN] 2nd editor tooling dev-meeting: 25th of July 🧙

[nojb]

Thanks for the notes! As mentioned, we will make the code of the grep tool available somewhere. I will post back here once it is done.

Cheers,
Nicolas