Aunque ignore a un user en un tema, me siguen saltando las notificaciones cuando dicho user me menciona y es algo muy muy cansino. Sinceramente, que me oculte los post no me sirve de mucho porque si veo su nombre paso de largo, pero que me salten notificaciones cuando me menciona me parece que se debería intentar quitar, que para algo le he ignorado.
Aunque personalmente, yo haria que el ignorar fuese por user y no por tema. Ocultando los hilos que el user vaya creando.