Ваше предложение, оставить формат "кратер" с добавлением "лунный" только в случае, если присутствует кратер с таким же названием на другом небесном теле, мне кажется неразумным. Кто возьмется проверить наличие совпадения имен, переделать все ссылки на статью, как Вы сделали это для двух кратеров, для тысячи с лишним статей?