To slightly improve performance, we should use StringBuilder.append(char) instead of StringBuilder.append(String) whenever we append a single character to the builder.

See also: #25056