Finalize OSS user docs: remove `$` in shell snippets (GitHub no like)
Finalize OSS user docs: remove `$` in shell snippets (GitHub no like)

PiperOrigin-RevId: 461762013

google/centipede,google/centipede,google/centipede