I see, thanks.

So even if the change address does not show up in the Electrum wallet for whatever reason, it could eventually be found/generated deterministically by increasing the gap limit?