Commentary update motivating code update in 0.9.7.