Why would him stepping down be for the good of the OpenSats? How is this related to OpenSats?