Thanks, Michael, for the nice doc! This is really nice for the Linux networking community to have. I posted a few comments.