OWL 2 SS&FSS spec. - link terminal/non-terminal references

Regarding the OWL 2 Structural Specification and Functional-Style Syntax
specification at http://www.w3.org/TR/2009/CR-owl2-syntax-20090611/:


In the grammar productions, references to terminals and non-terminals
are not hypertext links to the productions defining those terminals
and non-terminals (or to the sections containing those productions).

(E.g., in section 7, in the DataRange production, the text "Datatype" is
not a links to the DataType production in section 5.2 (or to section
5.2 itself).)

It would be helpful if they were links, and links between the grammar
production seem like prime candidates for linking.


(It would also be helpful, though of lower priority, if in the examples
the example axioms (e.g., their key/reserved words) were links also.
Since making them all regularly-formatted links would presumably clutter
things too much (re readability), maybe they could be half-hidden links
(that are highlighted only when "moused over").)

Daniel
-- 
(Plain text sometimes corrupted to HTML "courtesy" of Microsoft Exchange.) [F]