[ocaml-platform] on the need and design of OCaml namespaces

[Leo White]

>I lament that, expect Alain, nobody gives a damn about letting users
>redefine their own names or paths in a different way that what the module
>provider planned for.

I wouldn't say that people don't give a damn about it, only that it is not 
a priority: first we need to be able to give a component the name its 
developer intended for it, then we can worry about how to allow other 
people to rename it.

I also think that it is important that the default case (i.e. use the name 
that the developer gave it) requires no input on the part of the user.