> which was an R development version called "unstable", > not even "alpha". > I think you should definitely update R to the released version! Already done yesterday, just after last night's checks started. The use of R-2.0.0-patched will appear today.