Just one more question: is .zoo a somehow preferred way of archiving for GAP people? And why so if .tar.bz2 is so evidently better? Igor