Oops: wasn't there a "doc" page linked at top level?