Most command in the page have the $, even though I don't remember if there was a specific reason/convention, so I didn't remove it. We could remove most/all of them in a separate PR.

https://devguide.python.org/documentation/style-guide/#code-examples says to use prompts sparingly to differentiate input/output lines, even though it's talking mainly about Python >>>/.... We could remove most/all of them in a separate PR.

Also note that the shell highlight is for shell scripts, whereas the console highlight for shell sessions with prompts (see https://pygments.org/docs/lexers/#lexers-for-various-shells).

Yeah, console is useful when you have a prompt and output to show. Otherwise shell for plain commands.

Console:

$ ls | wc -l # good formatting for command + output 👍 
 158

ls | wc -l # bad formatting for command 👎 

Shell:

$ ls | wc -l # bad formatting for output 👎 
 158

ls | wc -l # good formatting for command 👍