  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.
