I wrote this shell script that will download the entire CoCo mailing
list archive in a monthly gzipped text format. It's currently 71Mb.
#!/bin/sh
wget 'https://pairlist5.pair.net/pipermail/coco/'
for file in `fgrep "Gzip'd Text" index.html | cut -d'"' -f2`
do
wget "https://pairlist5.pair.net/pipermail/coco/$file"
done