public void removeVertex(FGVertex vertex) {
		updateGroupDescription(vertex);

		groupVertices.remove(vertex);

		// also fixup any internal groups that may contain the given vertex
		removeFromGroups(vertex);
	}
Signals that the user has changed the text of a group node and that and this pre-existing
info needs to update.

@param text The new text
Ghidra/Features/FunctionGraph/src/main/java/ghidra/app/plugin/core/functiongraph/graph/vertex/GroupHistoryInfo.java