cool! Should we have a "default-ssh-key" file like the default_board file?