Re: [petsc-dev] Is there a reason for short arch and host names?