Actually, for now, don't remove it entirely,  but don't update it either.  We will probably take it out of the depository eventually.