Because it succinctly but correctly spotlights the motivation for the release and the fact that motivation is self-serving and not necessarily a positive for the field.
The navier stokes paper is 166 pages long and the lean code is over 500 kloc. Nothing about that is “clear”. Someone has to real ALL of that to see if the proof is clearly right or wrong.