Incidentally, the viewport version of that animation doesn't work - the points only line up when refraction is taken into account.
I've used the equation for refraction countless times in shaders, but somehow it kind of blows my mind that it actually works IRL.