Bug#1127723: ssh key change procedure doesn't work any more

[Marc Haber]

What an utter waste of time this bug report is. The actual change to 
the web page would have taken half the time