Hello! I want to pack tetrinetx, a server for the recently added gtetrinet client. I hope noone is already working on that? I've Cc:ed the gtetrinet-Maintainer for making this clear. I haven't seen any ITP on this list about that, maybe I've missed one? Have fun! Alfie -- I predict that today will be remembered until tomorrow!