At David's request and in the spirit of consistency I have changed David's username on box3 from 'lewis' to 'davidlewis' and moved his home directory in the process. For the curious the magic incantation that does this in one step was
$ sudo usermod -l davidlewis -d /home/davidlewis -m lewis
Ken
box-admins@lists.squeakfoundation.org