Tighten up space in displays of nested proof displays.
Clarify method name as "copyForRendering".