private URL getURLForID(ID ID) {
		javax.help.Map map = mainHS.getCombinedMap();
		try {
			return map.getURLFromID(ID);
		}
		catch (MalformedURLException e) {
			return null;
		}
	}
This forces page to be redisplayed when location has not changed
Ghidra/Framework/Docking/src/main/java/docking/help/HelpManager.java