Use traitlet on InteractiveShellApp instead of storing user_ns via __init__