consider adding indentation spaces to hidden spec steps for copy-paste

[michaelficarra]

That way we get step numbers and they are indented relative to each other properly.

[bakkot]

Ideally only when you've selected multiple lines, though.

[michaelficarra]

This one might be tricky since we want to preserve relative indentation, but we don't necessarily want a copied segment to all be excessively indented just because it is deeply nested. I'm not sure how to do that other than hijacking the copy with JavaScript.

[bakkot]

Yeah I was imagining hijacking the copy.