the `interval` here is for the animation speed in the web page; it does not have to be the same as the `interval` in `ani.options()`, which is for the readers to play in R