[Bug 7777] Filtering on modifyTimestamp is slower with index