I just noticed that my new gnus package installs some stuff into etc/gnus, etc/smilies, and etc/sounds. Is this okay, or should it all be under etc/gnus? thanks, mike