A grandes males, grandes remedios.
Pues gracias a tu comentario, Pocher, he descubierto que de nuevo funciona la opción "Buscar". Me las estaba apañando con el cuadrito buscador de temas que aparece arriba, pero la opción "buscar" es mucho más completa.