It's been over 10 years now. Is there a good post-mortem on the outcome of the switch away from 6.001 and Scheme?