[firedrake] boundary extrema [was: problems with importing a mesh]