Uniform regularity for a Keller–Segel–Navier–Stokes system. (September 2020)