Hola!.
A ver, no se si es cosa de mis lentes.
Es que veo las letra de la ayuda lateral unas fuentes de letras mucho mas grandes que en versiones como la 3.3.1.
Y la ayuda online, "por defecto", su letra es grande. Entonces, es que son primas hermanas. (que es la misma. )
Si se le deja en el tamaño 1 y no usas zoom+ o zoom-. la letra es grande.
Saludos