Make IPython extension optional.