This is cool, but wondering which tool was used to build those animations?