Epsilon regularity for the Navier-Stokes equations via weak-strong uniqueness

We give a new concise proof of a certain one-scale epsilon regularity criterion using weak-strong uniqueness for solutions of the Navier-Stokes equations with non-zero boundary conditions. It is inspired by an analogous approach for the stationary system due to Struwe.