I watched that match a while back and don't recall it playing out as you do. My impression was Ronnie was way past his prime and DD outplayed him (out moved him and was first to the shot) but found a way to lose.
It wasn't anything close to what we now consider high level one-pocket, but if you...