private static String replaceKnownSpecialCharacters(String s) {
		StringBuilder buffy = new StringBuilder();

		s.chars().forEach(c -> {
			switch (c) {
				case 0xA0:
					buffy.append((char) 0x20);
					break;
				default:
					buffy.append((char) c);
			}
		});

		return buffy.toString();
	}
A method to remove characters from the given string that are output by the HTML
conversion process when going from HTML to plain text.

@param s the string to be updated
@return the updated String
Ghidra/Features/PDB/developer_scripts/DeveloperDumpAllTypesScript.java