Navier-Stokes lost in translation (Why Lean [..] does not guarantee correct natural language proofs)