Comment by wizzwizz4

Wouldn't it be better to improve the proof language so that copy-pasting is not necessary? (I know that's very hard, though.)