To help out anyone trying to search for stuff, * This exoplanet is now "Kepler-452b" (kepler_name), * In the "Kepler Object of Interest" catalog, it's KOI "K0

To help out anyone trying to search for stuff, * This exoplanet is now "Kepler-452b" (kepler_name), * In the "Kepler Object of Interest" catalog, it's KOI "K07016.01" (kepoi_name), * Its star is both K07016 and Kepler ID 8311864 (kepid), * In the broader 2MASS sky survey, the star has the id "J19440088+4416392" Sources (catalog search engines), http://exoplanetarchive.ipac.caltech.edu/cgi-bin/TblView/nph-tblView?app=ExoTbls&config=keplernames http://exoplanetarchive.ipac.caltech.edu/cgi-bin/TblView/nph... https://archive.stsci.edu/kepler/kic10/search.php https://archive.stsci.edu/kepler/kic10/search.php (edit): Here's a mirror of the Kepler catalog entries -- KIC for the star, KOI for the planet: https://gist.githubusercontent.com/anonymous/deef2bd542224f3a4d9b/raw/69713bafa0c9b1bd454c71ec266946f1ef146a28/gistfile1.txt https://gist.githubusercontent.com/anonymous/deef2bd542224f3...