index manager writeup: IndexManager APIs.