Thank you. Just to clarify: My concern was not that Propus did not go to Eta Gem. I would have been happy if Propus was not recognized at all, since it is not a well-known name. But in fact when I said to go to Propus, I got a 9.5-mag star in the far south (Antlia, maybe) which surely was never actually known by that name.
I had no idea it would be fixed this quickly! I am impressed.
Thank you. Just to clarify: My concern was not that Propus did not go to Eta Gem. I would have been happy if Propus was not recognized at all, since it is not a well-known name. But in fact when I said to go to Propus, I got a 9.5-mag star in the far south (Antlia, maybe) which surely was never actually known by that name.
I had no idea it would be fixed this quickly! I am impressed.