On Thu, Apr 01, 1999 at 01:43:36AM -0800, Joey Hess wrote: > Giuliano P Procida wrote: > > time ago and I asked the menu maintainer (Joey Hess) what I should do. > Actually that's Joost Witteveen. So it is. Don't ask me how I managed to make this mistake! Anyway, there may be a solution to this issue. Joost? Giuliano.