In distributing my new ssh key (old one was not vulnerable, but had been used from a client with broken ssl libraries) I clobbered the ~/.ssh/authorized_keys file of the group account. Sylvain Beucler noticed that an hour or so ago and I restored from the ~/.ssh/authorized_keys~ copy dated May 13.
I confirmed that none of the keys in the backup is known to be vulnerable (as reported by ssh-vulnkey). So, if anyone else changed that file in the mean time, you'll have to re-do the change. Sorry about any inconvenience.
