But it appears that they've just exported the meat of the Ada project and left everything else upstream.