@t-p thank you so much! The accepted answer worked for me.
I’m still wondering if there’s another way to make sure this bug doesn’t come up. I’m thinking of a shared hosting type of situation where I wouldn’t be able to directly edit wp-config.php.
It sounds like installing in a non-US-English language first would work…?
