Divertido nombre del bot del IRC-Hispano antes de la separación de Arrakis :-).