Beim W3C konnte ich keinen Hinweis finden, dass <Node>.children eine standardisierte Eigenschaft wäre, zumindest steht im Node Interface keine Eigenschaft "children".
Du verlinkst aber praktischerweise schon auf den Working Draft, in dem children als <Element>.children spezifiziert werden soll. ;)
Auch interessant ist sind die Web-Travers ... ach scheiss drauf.
Siehe molily. ;)