IPython extensions