The DNS propagation checker -- is there an existing framework that this site interfaces or is it something that they rolled out on their own? I've seen some ser

The DNS propagation checker -- is there an existing framework that this site interfaces or is it something that they rolled out on their own? I've seen some services that use a dozen of servers to run the check, but this is hardly sufficient ad it excludes the last mile (where all the fun stuff is).