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 do what you do on ​https://ports.macports.org/ — you don't even need to triple click to select a line, just click the copy button
• 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 $)