Analysis of a hybridizable discontinuous Galerkin method for the steady-state incompressible Navier-Stokes equations | Synapse