A lot of the command sequences BUILD_INSTRUCTIONS.md have dollar signs ($) as prefixes for each command, which cause errors in the terminal. For someone copy-pasting the commands, which is especially likely for sequences involving more than 2 commands, this makes it so that they have to trim the leading dollar signs.

Think removing them would be a good idea? Or if you want to keep them in, we could explore alternative embedded solutions.