As stated, this week is supposed to be an update-window week. Stable got updated yesterday and everything looks fine. It is therefore time for next to have the same treatment Since we are a bit late in the week already, I would suggest that we close the window next wednesday (evening). Sylvain