It seems our good old symbol has disappeared from woody (see #64185, #64186), and this probably means I was asleep when it was decided. What's the current equivalent, if any? -- Ciao, Davide G. M. Salvetti <http://www.linux.it/~salve/>