Remove $ dollar sign from line copy&paste (user terminal commands)

[esbugz]

Terminal commands that a user is supposed to type are formatted with $ dollar sign

$ Commands to be typed into a terminal window.

However, this makes it very inconvenient to copy&paste the easiest selection item — the whole line — since the $ dollar sign will corrupt the command.

The better way is to either:

• enhance the guide's terminal command field to show the $ without it being selectable on triple click (as some other websites do) or
• change the syntax to exclude the $ altogether (a much more disruptive move as it's a common convention to denote user terminal input with $)