[ADMB Users] RSA key changed for admb project?

[Ben Bolker]

  I am getting the following error when trying to 'svn update' the ADMB
sources:

Offending RSA key in /home/bolker/.ssh/known_hosts:36
  remove with: ssh-keygen -f "/home/bolker/.ssh/known_hosts" -R
www.admb-project.org
RSA host key for www.admb-project.org has changed and you have requested
strict checking.
Host key verification failed.

  I'm going to go ahead and remove the key so I can proceed, but I just
wanted to double-check that there wasn't something funny going on I
should worry about?  (On the other hand, perhaps this is just some
glitch that only affects me ...?)

  thanks
    Ben Bolker