Tried searching for the celebrated red dwarf star and exoplanet system Trappist-1 using SkySafari Pro but came up with nothing. Tried using the 2MASS designation for the star also with no luck. Would the GAIA extension database have it? I was a little disappointed that such an important star wasn't in SkySafari Pro.
[Feature Request] Where's celebrated exoplanet system Trappist-1 in SkySafari Pro?