Animation with start and stop control in Plots.jl?

[empet]

See here how to get an mp4 instead of a gif file from the animation frames:
https://discourse.julialang.org/t/having-problems-with-creating-animations-with-plots-jl-grbackend-juno/21876/2.