HAT-P Stars Missing

[Andrettin]

No HAT-P stars seem to be present in the database. Of particular interest, I think, would be the HAT-P stars that were named by the IAU, like Muspelheim (HAT-P-29).

Is the non-inclusion of HAT-P stars a design choice, or a matter of lack of time to do it? If the latter, I could help with that.

[ofrohn]

The stars are based on the Hipparcos catalog, if it's not in there it is not included. The next version will eventually be based on Gaia data, so thats the occasion to include them.
If you can point me to a list of HAT-P stars with proper names, I'll include the ones that are in the database.

[Andrettin]

Thanks for the response!

This page on the IAU's website has a list of star names, and sorting them by designation allows easily picking out the HAT-P stars:
https://www.iau.org/public/themes/naming_stars/