Yep, a timing-case patch makes sense and I'd be up for one or two, but more importantly, what's become of our friend Nitti? He was a regular member of the discussions, he volunteered all the work it took to get out the first patches, I don't think he got offended and I know very well he wasn't bumped. If anyone knows how to reach him I wish you would give it a try. Maybe Erling has a track. In any case, it would be very good to know if he is well or, even, with us.
Richard L.