Unable to repair database

You might want to tag onto this thread, or this one. I’m not sure what’s going on, but I think now we need to wait for input from @cgrunenberg, @BLUEFROG et at.