In computational fluid dynamics, obtaining exactly divergence-free approximations to the incompressible Navier-Stokes equations, by means of finite element methods, has actually not been particularly popular in the last ...