I'll be digging into my copy of @diveintomark's "HTML5: Up and Running." Are the diffs with http://diveintohtml5.org/ just branding/style?