The pretty.py extension has been ported to the new extension API....
The pretty.py extension has been ported to the new extension API.
I have also cleaned up the extension API to enable extension
unloading and have added magics for working with extensions:
* %load_ext
* %reload_ext
* %unload_ext