OK, so thinking more about this, I think that until we implement #352, it could be problematic to use a different space instance for different examples.  So -- let's keep re-using the same space instance for now, and consider changing it when we implement #352.