...but I am happy to announce that asteroid 1980 RE1, discovered by Antonín Mrkos at the Kleť Observatory in the Czech Republic, has been given the permanant name of Sophiexeon! The International Astronomical Union announced the name in volume 3 of their WGSBN Bulliten. I was sadly not made aware of this naming until today, but we did it y'all! Sophie has influencecd so many of us, and now she will forever be part of the cosmos. I thank every single one of you who signed and shared this petition, which itself will be kept up as a memorial to the great Sophie Xeon