DOC: shell commands should be printed as code