[whatwg] List of differences between whatwg and w3c spec?

[Aaron Swartz]

I notice there are specs for HTML5 dated today at:

http://www.whatwg.org/specs/web-apps/current-work/
http://www.w3.org/html/wg/html5/

diff -u shows a lot of difference, but most are cosmetic. (I gather
they're there because Hixie disagrees with some W3C pubrules but can't
get them changed.) Is there any page that lists the substantive
differences? Presumably the generation of the drafts is automated; is
the source file for the drafts published?