I see the pedagogical usefulness of showing a session like this, but I wonder if it wouldn't be better if it also showed the output from the commands, so a reader could "read along" without "typing along"...