Martin Buchholz writes:
GB> the chapters are numbered 1, 5, 6, 7, .. skipping nos 2, 3 and 4
This was an intentional design decision of the author's:
@iftex
Chapter numbers and most section numbers of this document parallel
those of Steele's book.
@end iftex
uh oh! sorry, i'd better have looked at the sources before reporting a
bug...