942753
Make the ssh_info page more flexible This way adding more information about the ssh keys of the servers is as easy as extending the configuration file.