I don't really care about that new feature, but man, I love that background video playing with the animation.. Is there a library to help create that? Seems lik

I don't really care about that new feature, but man, I love that background video playing with the animation.. Is there a library to help create that? Seems like it's a <video> with some animation css on top of it?