It is not possible to fully copy text from the 'Proof' screen. When pasting the text into another application, the passage titles are omitted. This appears to be because the passage titles are rendered in HTML in an unusual way, with the title appearing as the name attribute of a tag. I propose that these titles are rendered differently so that all of the text can be copied and pasted.