Readers have to manually remove `$` from copied commands

[hamirmahal]

[hamirmahal]

Documentation

At https://mypy.readthedocs.io/en/latest/getting_started.html#installing-and-running-mypy, readers have to manually remove $ from copied commands.

I don't think this is an ideal user experience.

[hamirmahal]

Getting.started.-.mypy.1.7.0+dev.b65cd9ae6e1ae4b25e4af4f0e855646bbe382b29.dirty.documentation.-.Brave.2023-09-17.11-57-49.mp4