Revised quick-pasting instructions in case people have differ
ent defaults on Git Bash