A repository for WikiGrok has been created, I've pushed a boilerplate for review: https://gerrit.wikimedia.org/r/166080
Now trying to recall how to move gerrit notifications into our channel...
We can start moving all WikiGrok stuff into this extension!