HTML Editing APIs

[Ms2ger]

Hi Mike,

I noticed a stale copy of the HTML Editing APIs spec at
<http://dev.w3.org/html5/editing-api/editing.html>. Could you get it
redirected to <http://dvcs.w3.org/hg/editing/raw-file/tip/editing.html>?

Thanks!
Ms2ger