I did not find a solution for Android 10. Since I received no replies, I’m guessing that this may not be a widespread problem. E.g. perhaps it only affects MVNOs such as Tracfone.
Fortunately, the locked bootloader did allow me to use Odin to downgrade from the May 6, 2020 Android 10...