examples should have a leading `$ ` if they are command lines that the user types, `# ` if its a comment, and nothing if its user output.

(so it looks like what the user will see when they do it)