SSH host key changed

As the operating system was replaced completely, the SSH host key of majorana changed as well.

If you get an error message from your ssh client upon trying to connect to majorana, follow the instructions to delete the cached key (usually in ~/.ssh/known_hosts).