Well, I've basically finished 4.2 and am part way through 4.1. The early parts of 4.1 needed a lot of work, and I expect the remainder to be easier. The big problem is that while working on 4.1, I had to change stuff in 4.2 and 7.2 (glossary). 4.1 is all I'll be able to do before mailing it to ISO. Foo. -rpg-