Badmouthing another racer never comes off well, especially in a motorsport with a high incident of casualities.
FIA records, you pay for the timing as well, IIRC.
But going 199 at Elmo is pretty fast no matter how you look at it, and is REALLY fast using hydrogen as fuel.
Informal records get a lot of folk pretty aggitated, but they have weight sometimes, at least for the ones who aim for them.
World's fastest man isn't actually a record, since there were no timing lights available, but 25,000+ mph was pretty fast for the Apollo crews.
While I'm not famous, I specifically targeted an informal record when I started out racing our truck, which was ~163mph; "World's fastest production diesel truck". And yup, I catch flak for making that claim. Not from the guy who held it, who congratulated me, but mostly from non-racers.
Best course of action is perhaps to just to either say Congrats, or bite your tongue, unless you also claim that same informal record.