There's another HN discussion going, about declarative diagramming [0], from where I learned about Ilograph [1]. And which makes great use of animations for system documentation.
[0] https://news.ycombinator.com/item?id=45706792
[1] https://www.ilograph.com/features.html