Meta: export "unordered set of unique space-separated tokens"

Author: marcoscaceres

source

@@ -6197,8 +6197,8 @@ a.setAttribute('href', 'https://example.com/'); // change the content attribute
   <p>A string containing a <span>set of space-separated tokens</span> may have leading or trailing
   <span>ASCII whitespace</span>.</p>
 
-  <p>An <dfn>unordered set of unique space-separated tokens</dfn> is a <span>set of space-separated
-  tokens</span> where none of the tokens are duplicated.</p>
+  <p>An <dfn data-export="">unordered set of unique space-separated tokens</dfn> is a <span>set of
+  space-separated tokens</span> where none of the tokens are duplicated.</p>
 
   <p>An <dfn>ordered set of unique space-separated tokens</dfn> is a <span>set of space-separated
   tokens</span> where none of the tokens are duplicated but where the order of the tokens is