Fix shell snippets: syntax highlighting + copying via auto-created "copy" button
Fix shell snippets: syntax highlighting + copying via auto-created "copy" button

Also slightly improved the instructions for examining the workdir's contents.

PiperOrigin-RevId: 461735947

google/centipede,google/centipede,google/centipede