SSH host keys on shell changes and changes back

The SSH server on SHELL was upgraded yesterday, and it seems the ssh
host keys were changed. So anyone connecting via SSH last night or
today would have received a warning regarding this. The original host
keys have now been restored.

The current correct host key finger prints are as follows:

SSH1: 28:24:f1:c6:58:d3:dd:6c:01:1d:30:4f:e5:29:b6:a4
SSH2: 49:d5:9e:11:7c:39:c8:9f:c0:45:13:5b:e5:50:ff:af