[math-fun] Ford Circles addendum