DMPlex: Mark halo regions explicitly in a label
DMPlex: Generate point permutations according to halo regions