yeah, that was a good match.
i'm guessing (hoping?) they'll change the rules. I understand they don't want a tiebreaker in the deciding set, but setting a limit of, i dunno, 12-12 in the final set and allowing a tiebreak after that would mean for 99% of games there still wouldn't be a tiebreaker in the last set, but would stop daft matches like this one.
Don't get me wrong, that set was extremely enjoyable to watch, just i imagine it wasn't as much fun to play in, and either is going to be exhausted for the next round, nomatter who wins.