Module system docs

[Martin Grabmueller]

Hello list,

the current module system documentation contains this paragraph.

  First of all, the Guile module system sets up a hierarchical name
  space, and that name space can be represented like Unix pathnames
  preceded by a @key{#} character.  The root name space for all
  Guile-supplied modules is called @code{ice-9}.

Is anything of that relevant enough anymore to be included in the
manual?

Regards,
  'martin