Didn't have to. :)
That's moved to IJuliaWidgets.jl now