Here's a little PHP script asked for by Chris, which just, well, astonishingly it wraps lines. It has a few rough edges, not surprisingly, but generally it works. I'll fix the loose ends when I get round to it. There's no particular reason for this one.