I'd like to do some research prior to posting questions here but all I
see in the archives are monthly gzip'd files. I there a single file in
say mbox format I can grab, or is there another search/query mechanism I
don't know about?