| 
				 Re: New hosting 
 Voting is 2-0 in favor of unzipped files. Since there's no quorum requirement here, they'll be unzipped in the future. If there's anyone out there who'd strongly prefer a zipped file, speak up! (dialup, anyone?)If we've got strong divided preferences, I can probably figure out a reasonable way to zip only some of them (as if by magic!) but sending them all out raw is easy for me.
 |