dotfiles(ssh): new handling of todo servers