good idea, done.  Required touching parent InteractiveShell classes, because the original InteractiveShell classes are still not very good Configurable citizens.