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