This API is unused and untested: we may as well remove it entirely before it accumulates technical debt.