code: private static String removeNoise(String s) {
  		return s.replace("   ", " ").replace("  ", " ")//
  				// caused by omitting xref tags
  				.replace(" , ", " ").replace(" ( )", "")//
  				.replace("&#x000a0;", " ").replace(" ", " ")// nbsp
  				.replace("[ – ]", " ").replace("[ ]", "");//
  	}
docs: removing noise, could be improved...