Thanks! I didn't think we've made much progress, but it was worth a shot. I'm on a few Google Groups, Mailman, Majordomo, etc. lists and I can honestly say tha

Thanks! I didn't think we've made much progress, but it was worth a shot. I'm on a few Google Groups, Mailman, Majordomo, etc. lists and I can honestly say that it doesn't make a huge difference to me. I will agree that the Google Groups archives are somewhat unpleasant.