tgbeatty on 01-Feb-2024 16:50:57 GMT about LP 424-4
Can the primary name for this star be changed to GJ 3470? That is the system's name in all of the exoplanet literature, and the current primary name makes it difficult to search for this system using the "Identifier" search.
Currently, if I type in 'GJ 3470' as an identifier I get an "Identifier not found in the database : GJ 3470" error. That error page does link to the correct object page under "similar names," but it would be nice to go there directly.
Services
Others
Sesame name resolver
Dictionary of nomenclature
Contact us
Help
View annotation on LP 424-4 object