https://bendedreality.com/comparison-of-old-and-new-star-catalogs-shows-100-stars-vanished/