What about the standard D:OS boxed editions from Kickstarter (which are not CE)? Have they been shipped already?