Hi, I've built an x86 Linux RPM for the current 0_143 goo release. I'd like to make it generally available, so I'm wondering what I should do with it. -- Neel Krishnaswami neelk@alum.mit.edu