The best approach I have come across so far. Unsurprisingly, it does have a Knuth-like quality. At least, I think this is a much more sensible way to explain to beginners an \epsilon-\delta definition.
I will probably copy all of the important proofs and concepts here as an personal exercise.