I have started to translate the paper so that English speakers can explore it. I've only had time for the abstract, introduction, and main result statement, but that already gives an important part of the picture. Any further contributions are welcome. https://github.com/myw/navier_stokes_translate