General comment on these tests: We should probably make a shorter version of the "getting started" file that omits a lot of stuff past the point where we're doing these edits. Using the whole file has been making it hard to debug the unit tests.