Well, I played with Gboard and SwiftKey. Both make too many random mistakes. I'm back to the default iOS keyboard for now.
Searching