Minor tweaks in the grammar

grammar/src/lexical.grm

@@ -58,7 +58,7 @@ LabelName
   : "@" SimpleName;
 
 /**
-<!--See [Nonlocal returns and jumps](returns.html)-->
+See [Returns and jumps](returns.html)
 */
 
 /* Symbols:

grammar/src/toplevel.grm

@@ -1,7 +1,7 @@
 /**
 # Syntax
 
-<!--Relevant pages: [Namespaces](namespaces.html)-->
+Relevant pages: [Packages](packages.html)
 */
 
 
@@ -28,7 +28,7 @@ import
   ;
 
 /**
-<!--See [Imports](namespaces.html#imports)-->
+See [Imports](packages.html#imports)
 */
 
 toplevelObject
@@ -48,7 +48,7 @@ package
   ;
 
 /**
-<!--See [Namespaces](namespaces.html)-->
+See [Packages](packages.html)
 */
 
 [undocumented]

grammar/src/when.grm

@@ -1,7 +1,7 @@
 /**
 #### Pattern matching
 
-<!--See [Pattern matching](pattern-matching.html)-->
+See [When-expression](control-flow.html#when-expression)
 */
 
 when