This PR was never merged before the repo migration: https://github.com/BruceSherwood/vpython-jupyter/pull/134 I think it would still be useful.