Replace "Shell" highlighting with "Bash" highlighting

[steffahn]

trafficstars

(compare https://highlightjs.readthedocs.io/en/latest/supported-languages.html for a list of languages and their identifiers/aliases)

Motivation: This code block was mishighlighted: https://rustc-dev-guide.rust-lang.org/git.html#i-see--head

[steffahn]

If there are prompts (> or $) in the code blocks, they should use console

Oh… I didn’t look close enough to notice that the > or $ are actually highlighted (hard to spot in ayu). I thought there’d be no benefit at all of using shell over bash highlighting.

I guess I’ll have to actually read through these then, instead of just proposing a simple "find and replace" commit. Have got no time for that anymore today, I’ll come back to this PR on a later date.

[JohnTitor]

@steffahn Ping, do you have some time to work on now?

[JohnTitor]

Closing for inactivity, feel free to open a new PR when you have some time to work on, thanks!