HeaderDB: maintain by-height index. Use in locator generation.