I only just noticed the “racing dots” in plotman interactive output 
(let’s see if an animated gif works…)
Has anyone tried customizing the animation? 
4 Likes
That is lovely to watch 