private boolean deleteMatchingSymbolAndCheckPinnedStatus(SymbolDB symbol, Address address) {
		boolean isPinned = false;
		Symbol match = getSymbol(symbol.getName(), address, symbol.getParentNamespace());
		if (match != null) {
			isPinned = match.isPinned();
			match.delete();
		}
		return isPinned;
	}
Called by the NamespaceManager when a namespace is removed; remove all symbols that have the
given namespace ID.

@param namespaceID ID of namespace being removed
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/symbol/SymbolManager.java