I see… thanks for the timely answer!
Indexing translated content would be pretty nifty, even as an option (since it could add more processing load to search it), but in the meantime, we’ll see if a community solution exists, or even if we could implement it as a plugin.