Someone (probably you, from IP address $1) requested that we send you a new password for In-Portal Developers Guide ($4). The password for user "$2" is now "$3". You should log in and change your password now.

If someone else made this request or if you have remembered your password and you no longer wish to change it, you may ignore this message and continue using your old password.