Re: www.mozilla.org URI structure

[fantasai]

Matthew Thomas wrote:
> 
> fantasai wrote:
> >...
> > fantasai wrote:
> > >
> > > ok. Should /dev also be expanded?
> >
> > No, it should not. It's easier to type, and "dev" is a very
> > common, well known abbreviation. Were it to expand, it could
> > be /develop, /developer, or /development--it's easier to
> > remember /dev. And on top of that, the abbreviation is also
> > valid in French. :)
> 
> By the same logic, /contribute/ should be /contrib/. It's easier to
> type, and `contrib' is a very common, well-known abbreviation (used by
> geeky FTP servers worldwide). Were it to expand, it could be
> /contribute/, /contributor/, or /contribution/ ...
> 
> Also by the same logic, <http://mozilla.org/> should be changed to
> <http://moz.org/>. It's easier to type, and `Moz' is a very common,
> well-known abbreviation ...

List the advantages of expanding /dev to /develop.