<mark_weaver>'append' on two arguments takes time proportional to the length of the first argument, so 'fold' will actually be sort-of quadratic. 'fold-right' would be better, but simply calling 'concatenate' is best.
<nkar>civodul: unfortunately, I don't have much free time these days, and I don't expect this to change in the near future. I gave up on packaging coq and ocaml, for instance. so, if someone else wants to update the logo, that'd be great.