#astronauticsDon’t push that button: Exploring the software that flies SpaceX rockets and starships