John, Thanks for running a smooth review, and for your comprehensive efforts at consolidating and organizing the many useful comments on the library. Naturally, we're delighted with the outcome, and will work over the next few months to address the many issues raised. Thanks also the the many reviewers and others who provided input - as John pointed out, the library has benefited greatly from your comments. Cheers, Matthias