@stecks maybe their maths-checker sent a comment pointing out wrong numbers, which they misinterpreted as a disclaimer