Clément Chouteau

This could help to get rid of most types of crashes. Generate a large index with random entries of varied size: - many small entries - uppercase/lowercase - punctuation Then...

Explained at the end of this lecture https://www.youtube.com/watch?v=NinWEPPrkDQ We must see if the (possibly) increase memory consumption is not prohibitive.

A regression was fixed in this commit b3c9e174c913d7616ed0581fadbff4956cd66d53 But that regression was not caught by tests.