Once the repos have all been factored out in #382 and the other repos have been updated in #383, we'll need to cut a new snapshot. This will require some edits to and testing of `make-snapshot.sh`.
