time has come for me to close down the www3 mirror. it will remain up for the next few weeks so that any cached dns records can age out. the dns records can be removed anytime.