Question on WICD Mobile Profile, missing HTML DOM Interface?

Dear CDF Working Group,

The HTML DOM Appendix does not include the HTMLOptionElement interface:

http://www.w3.org/TR/WICDMobile/#dom-html

Following the pattern of the rest of the HTML DOM Appendix, the 
interface should be:

interface HTMLOptionElement : HTMLElement
{
attribute boolean selected;
}

Thanks in advance for adding this interface,
Best Regards,
Vincent Hardy.

References:

WICD Mobile Profile HTML DOM Level 2 Subset
http://www.w3.org/2004/CDF/Group/specs/CDR/wp1/wicd-mobile.xml#dom-html

HTML DOM Level 2 HTMLOptionElement.
http://www.w3.org/TR/2003/REC-DOM-Level-2-HTML-20030109/html.html#ID-70901257