@Override
	protected Map<String, Attribute> getAttributes(Attributed attributed) {
		Map<String, Attribute> attributes = super.getAttributes(attributed);
		Attribute attribute = attributes.remove("Name");
		if (attribute != null) {
			attributes.put("label", attribute);
		}
		return attributes;
	}
DOT graphs use a special attribute call "label" which we call "Name", so when
exporting to DOT format, change the "Name" attribute to "label".
Ghidra/Features/GraphServices/src/main/java/ghidra/graph/exporter/DotGraphExporter.java