DOI Transition Completed

The DOI transition is finally complete. All DOIs registered since Nov. 24 are now working. We will resume the usual weekly announcements of new releases and updates on Monday, February 3rd. The transition proved to be more complex than we originally anticipated; our apologies if this created any hardships. --