Does Recording.py really need to deepcopy twice?

[WilCrofter]

Commit 119e4858 fixes a bug causing failure to detect changes to dictionaries, lists, etc., made in response to shell questions.

Replacing self.locals.copy by deepcopy(self.locals) on line 124, Recording.py, was a quick fix but results in 2 separate invocations of deepcopy in the same function, hence is likely redundant and inefficient.

This issue is meant as a reminder to revisit the fix as soon as time permits.