(we should actually add a migrate folder, and a JS migration, in this repo, I think. That way it will be part of this pull request, even if it not run automatically, obviously)