Rewriting Russian Gymnastics: It's official