I don't think it's a huge problem. I like having these be consistent across the site, and the `$` gives context. Honestly, I'd rather have people think about what they're copy/pasting into their terminals, instead of just blindly doing it with a bunch of lines.