Reindexing goes faster with bigger pages. Reading 1000 users in memory isn't a
problem either. This is not an optimized number, just based on 1 experiment
which showed that 1000 is better than 100. Memory consuption of the `brig-index`
process in that experiment was of the order of 100 kb.