Obrigado, Jay! Isso resolveria o problema perfeitamente.
Preciso mesmo solucionar isso corretamente e ver se há uma correção upstream. Ou talvez eu precise adicionar algo ao Plugin de Pesquisa RSS, que é uma fera um tanto complicada!
1 curtida