"Baitova" is just unfair anyway. Golea did it at the same meet, same phase, right? AND got a 10.0. Plus, Kolesnikova also did it the previous year when she won Goodwill Games, right?
I think it's okay to use gymnast names for skills with otherwise-long descriptions... Or for skills where the gymnast's name pairs with a special memory or trend.
But I also think it can be a little exclusionary to use gymnast names constantly. People then have to remember all these details, and that's hard even for active gymnasts and coaches.
For that reason, I never say "Dos Santos" and "Memmel". People may not remember those skills, and it's not that hard to say "Arabian double pike" and "double needle spin". I think more people know "Amanar" because it was such a notable thing for a while, but I still write Y2.5 sometimes.
I also think numbering is too hard. "Double layout half" and "triple double work" are easier to process than Biles 1 and 2.