Large features across Mars' terrain get official names, while mission teams get to choose silly nicknames for rocks, cliffs, and meteorites.