1 You have chosen the username "%s". That username is available, and we
2 will register it for you, if you wish.
4 Before you decide, please remember:
6 -- Your username will stay with you for your entire career at MIT.
7 Once it is registered for you, it CANNOT be changed.
9 -- Your username is the address that other users will use to send
10 messages and mail to you. If you have chosen a goofy nickname, you
11 may register it, but you will be stuck with it for years to come.