(also the framerate isn’t quite as rough as the video when i’m not recording, but it /is/ a bit janky on very large graphs because hiding the in/out titles triggers a single React re-render half way through the zoom-out animation. I think we can definitely fix it but probably not the highest priority thing)