I am happy to announce that we were selected as a Google Summer of Code
2018 mentor organization.
At this point I am being asked to "invite mentors," so I will soon
invite all the people who have expressed interest in the January email
thread (or on IRC).
If anybody has an additional idea for a GSoC project, please share it
with us here and perhaps also add it to the Wiki page.
If anybody else thinks of being a mentor this year, please write me an
email, the sooner the better. I suspect that a google account is
Any other ideas/comments/suggestions are also welcome.