> The file user.coda and passwd.coda are actually the same thing (Josh
> may correct me if I am wrong).  Two names have been used as suggested
> name for this file in the long history of Coda ... Should we settle to
> a fixed name so as not to cause further confusion ?

This is correct.  I believe that the migration was from passwd.coda to
user.coda but the reasoning for thi change escapes me.

Josh