Various work to get the H^1 edge projection tests (which are still pretty tame--basically testing that the H^1 projection of a line is the same line) passing, which they now do.