No, mykl - I like your version better, too (had also thought of using "refer to"), but I'm not quite sure whether they have to actually document (make reference to), or "just" read up on (refer to) :-)))