They are not contributed out. I thought that the contribution of their default model to the store was itself a bug that needed to be addressed.