Sí, eso lo solucionó @chapoi. También gracias @Lilly por el consejo sobre cómo encontrarlo. Cuando se implemente para todos (o se vuelva permanente), ¿habrá una forma de personalizar el tamaño de la fuente? Lo que se usaba allí era demasiado pequeño.