On Tue, 19 Jul 2005, Rui Paulo wrote: > I'm planning to do the move from <pkg> to <filename role="pkg">. > After that, I also plan to remove <pkg> definition. > People said that having <filename> was better, but are there any objections > on this ? Thumbs up from me! - Hubert