tomorrow we will send ~3 minor fixes that were complained about, and
then we will be ready for the next round of complaints.
To the users, the first of these two patches is very necessary, as it
has several important bug fixes (things got unsettled after the last
round of changes, apologies to users.....).
zam is working on a livelock bug fix.
Hans