Need to export navigation URL (possibly more)

Author: annevk

notifications.bs

@@ -60,8 +60,8 @@ or "<code>rtl</code>").
 <p>A <a for=/>notification</a> has an associated <dfn for=notification id=body>body</dfn> (a
 string).
 
-<p>A <a for=/>notification</a> has an associated <dfn for=notification>navigation URL</dfn> (null or
-a <a for=/>URL</a>). It is initially null.
+<p>A <a for=/>notification</a> has an associated <dfn export for=notification>navigation URL</dfn>
+(null or a <a for=/>URL</a>). It is initially null.
 
 <p>A <a for=/>notification</a> has an associated <dfn for=notification id=tag>tag</dfn> (a string).