extglob seems to be on by default on my system (Ubuntu 20.04.6 LTS).
I still don't understand what the difference is supposed to be between
*/*.txt and **/*.txt
Here are my "glob" shopt settings:
dotglob off
extglob on
failglob off
globstar off
nocaseglob off
nullglob off