IndexPage is insufficiently listy for some things that use index_keys().