What should retail investors do in Vedanta delisting?