Note on Leray's criterion for Navier–Stokes singularity. (August 2022)