Does anyone know (or guess) what kind of index they use to provide regex searches? I'm really curious.