Same `user_script_load` namespaces in nested sessions are not merged
(reported by @lagier )
If a setup script for session A
loads user defined functions with user_script_load
in namespace toto
,
and setup script for session B
loads another set of functions in namespace toto
,
and session A
includes session B
, the resulting namespace will only have contents from session A
.