I just realised something: We should totally establish the terms "Mars rover" and "Mars hover" to distinguish these two categories of "stuff we put on Mars". Fabian42 (talk) 10:58, 6 March 2021 (UTC)