This script simply redirects all links pointing at the main (enormous single page) HTML5 spec to the (sane) multi-page spec.
This probably won't have a huge audience as reading W3C/WHATWG specifications is not of interest to most (though it really should be if you're a client-side web developer). I was growing increasingly annoyed when clicking links to the poorly designed, abominably large single-page version of the spec, so I wrote this quick little script.
Note: Only links to sections listed in the table of contents are redirected. Since there are literally thousands of fragment ID's throughout the page, not all of which are listed in contents - these won't be redirected.