If you're curious about the naming of the Lunar craters, the first full English translation of the Almagestum Novum is being worked on here:

https://www.amazon.com/dp/1739314565?ref_=pe_3052080_3975148...