Anyone know what tool the author used to make those nice animated SVGs?