Curioso...

Casi por accidente Alionka y yo hemos descubierto que el widget de alertas de Debian utiliza html para dar formato al texto. Eso sí, apenas funciona con un par de etiquetas: el "b" para negrita, el "i" para itálicas y el "a" para enlaces.