Never saw that AGM expression for K0 before in the earlier linked post. Nor had I heard of the AGM, very cool.