> > This makes it 157 or 161 pages. I don't have my > > DC5 proceedings here, how long was it? I have the impression it was > > half the size at most, am I _so_ far off? > > 112 pages last year. Not half the size, but still not that many. Well, there's at least one paper which, ahem, is a bit long...:-) /me hides...