Eventually, we'll want to put these instructions in the README, not here.