docs: function nodeCollector_filterByDOMProperty(aProperty, aValue) {
      return this.filter(function(node) {
        if (aProperty && aValue)
          return node.getAttribute(aProperty) == aValue;
        else if (aProperty)
          return node.hasAttribute(aProperty);
        else
          return true;
      });
    }