Houston, we have a bug: 9 famous software glitches in space