alternative to `exit` command: `CTRL-D`

To match the rest of the docs' formatting:

`CTRL-D` should be simply Ctrl-D (not marked `as code`)
(ref. basics.md, devenvironment.md)