public static Path obtainFile(String filePathOrURL) throws IOException {
		try {
			Path file = Paths.get(filePathOrURL);
			if (Files.isRegularFile(file)) {
				return file;
			}
		} catch (InvalidPathException ex) {
			// Ignore
		}
		return downloadAndCacheFile(swizzleURL(filePathOrURL));
	}
Returns a path to the file indicated by a path or URL. In case the file is
referenced by a path no action is performed and the value of updateCache is
ignored. In case the file is referenced by a URL the file will be downloaded
from that URL and stored in the cache. NB: In the case of URLs this only work
when the last part of the URL contains the name of the file to be downloaded!

@param filePathOrURL Path or URL to the file to be retrieved
@return Path to the downloaded file
@throws IOException
src/main/java/dev/jbang/util/Util.java