Астрономы давно знают, что Меркурий на протяжении миллиардов лет становился меньше в размерах.