User talk:117daveawesome/sandbox/List of exoplanets with Bayer designations (old)