It's unused and I changed the API (so clients would break anyway).