DMPlexGmsh Convert Physical Tags
I see plex has DMPlexCreateGmsh_ReadPhysicalNames
but from looking at it, it seems to not be doing anything with the data that it reads?
If this is the case, we can convert these tags to a dmlabel
when constructing the plex (esp. interpolated plexes). I recently did some work writing a converter for gmsh mesh files that contained tagged entities so I would be happy to do it. If not then ignore this.