deprecate allowing the user to specify whether NUMOBS is inherited from the ledger. We always use that mode, so it's fragile to make it optional
deprecate allowing the user to specify whether NUMOBS is inherited from the ledger. We always use that mode, so it's fragile to make it optional

desihub/desitarget,desihub/desitarget