Hand-coded video replaying via rerendering.