public static URL getNormalizedURL(URL url) {
		String host = url.getHost();
		String revisedHost = getHostAsIpAddress(host);
		if (Objects.equals(host, revisedHost) && url.getRef() == null) {
			return url; // no change
		}
		String file = url.getPath();
		String query = url.getQuery();
		if (!StringUtils.isBlank(query)) {
			file += "?" + query;
		}
		try {
			return new URL(PROTOCOL, revisedHost, url.getPort(), file);
		}
		catch (MalformedURLException e) {
			throw new RuntimeException(e);
		}
	}
Get a normalized URL which eliminates use of host names and optional URL ref
which may prevent direct comparison.
@param url ghidra URL
@return normalized url
Ghidra/Framework/Project/src/main/java/ghidra/framework/protocol/ghidra/GhidraURL.java