W3C and WHATWG finalize split on HTML5 spec, forking 'unlikely' | Dark Hacker News