Yes! > Is it the sort of thing where it's just work putting a list of all of > them (line numbers, &c) up on a web page, maybe crosslinked into cvsweb? > Then people can go and pick them off, one at a time.