-txindex is documented (in multiple places) to take no (numeric) argument and that "default: 0".
Does this mean that you have to say
-txindex=1 to set txindex, or does the mere appearance of
-txindex on the command line set it to 1?
(IOW, is the value of the naked
-txindex option 0 or 1?)