Reddit’s video player accurately predicts video ending.