public static boolean isServerRepositoryURL(URL url) {
		if (!isServerURL(url)) {
			return false;
		}
		String path = url.getPath();
		if (StringUtils.isBlank(path)) {
			return false;
		}
		if (!path.startsWith("/")) {
			try {
				URL extensionURL = new URL(path);
				path = extensionURL.getPath();
				if (StringUtils.isBlank(path)) {
					return false;
				}
			}
			catch (MalformedURLException e) {
				return false;
			}
		}
		return path.charAt(0) == '/' && path.length() > 1 && path.charAt(1) != '/';
	}
Determine if the specified URL is any type of server "repository" URL.
No checking is performed as to the existence of the server or repository.
NOTE: ghidra protocol extensions are not currently supported (e.g., ghidra:http://...).
@param url ghidra URL
@return true if specified URL refers to a Ghidra server 
repository (ghidra://host/repositoryNAME/path...)
Ghidra/Framework/Project/src/main/java/ghidra/framework/protocol/ghidra/GhidraURL.java