I never got around to naming my servers. Last night we completed migration from the last of the old Linux servers (named 189.. after the last triplet of its IP, how impersonal!) and this morning I found myself shutting down the server and doing an "rm -rf *" on my home directory as well as on the application directories.
[antonia@189 /home/antonia/]$ rm -rf *
Two weeks ago, we 'gave up' another Linux server (193, yet another impersonal name). Ahh.. to say goodbye to good and faithful servants is heart-rending :)