bug#10490: define-module documentation confusion

[Aleix Conchillo Flaqué]

According to the documentation, the module-name in define-module is of
the form (hierarchy file).

However, one can do  (define-module (foo)).