@foone @panda if they left the devs' .bash_history copied on every device what are the chances that they used unique SSH keys?