Thanks for looking. Much appreciated!
I added back the final } and then reinstalled the old version totally, but still none of the Comment Box phps work. Perhaps the core WP has changed too in the meantime.
Looks like its now time to abandon the Child and seek plugins, as it is far beyond my ability to fix.
Regards and thanks,