https://www.redastronomy.com/how-to-add-extra-planets-to-celestia/