+<sect2>File names and module names
+<label id="files-and-modules">
+<p>
+%* *
+%************************************************************************
+
+Typically, a module @Foo@ will be contained in a file called @Foo.hs@
+or @Foo.lhs@. But GHC does not require that to be the case. You can put a module
+named @Foo@ in a file named @SomethingElse@. In this case, <em>GHC will still
+write an interface file @Foo.hi@</em>, but it will write an object fild
+@SomethingElse.o@. Any module that imports @Foo@ will
+of course look for @Foo.hi@, and it will find it.
+
+A useful consequence is that you can have many files, @A.hs@, @B.hs@, etc, containing
+the module @Main@. This is useful if you want to build distinct programs
+in the same directory.
+
+
+%************************************************************************
+%* *