PORTING to bug for easier tracking
Hi Doug, Jacob
I just noticed that the section about the 'select' event references the
definition of Document.getSelection() in HTML.  However, this has
been moving around lately, and has found a new (and hopefully permanent)
home in the HTML Editing APIs specification. 
Could you please update the note?
Done. Informative reference added and now referring to the correct spec.