If you thought “Mars 2020” wasn’t a very cool name for NASA’s next Mars rover, now’s your chance to change it.
