What do you mean exactly with my definition of a choke? I guess that missing 1 MP in a 3rd set tiebreaker which goes past 6-all can't really be called a choke, is that what you mean?
I wouldn't call missing a MP when receiving a choke for starters, unless it was a clear case of e.g. failing to put away a weak second serve. And even when serving on MP, opponents sometimes come up with an amazing return to save the point. A choke is the tennis equivalent of shooting wide from straight in front of an open goal. This doesn't always have to involve MPs btw: someone could hit 4 DFs while serving for the match without ever having had a MP.
But this is just a minor quibble, the lists are really interesting, and you also list the players who have saved the most MPs, which is really cool as well.