There was a showstopper bug in 3.1.10: if a document ended with a label, it would be truncated. 3.1.11 fixes the bug. There are no new features. Ulric