Interestingly I did this back in August. (Enhancement: Ability to change SSH link on Device page)
It works fine on my install, but I had to directly edit the html and php files.
The only thing I need to do to submit this as a PR is to add a way to globally turn it on or off, I was thinking in config.php