Don’t mock out hplattice itself in docs.